Trace number 4118932

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_bern40-10.lin.opb
MD5SUM97ab9db877b63a63c316f183597a0e7a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1001
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2053
Total number of constraints4026
Number of constraints which are clauses2013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2013
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 2053
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 63240
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 63240
Number of bits of the biggest sum of numbers16
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= 2053 #constraint= 4026
13.49/13.57	c #Conflicts:       1000 | #Learnt:       1048 | 0.000
13.49/13.57	c total clause space: 48.1602MB
13.49/13.57	c total #watches: 264099
21.38/21.47	c total #propagations: 126314 / total #impl: 4843087 (eff. 0.026)
21.38/21.47	c #Conflicts:       2000 | #Learnt:       2048 | 0.000
21.38/21.47	c total clause space: 78.2603MB
21.38/21.47	c total #watches: 334228
30.38/30.42	c total #propagations: 159364 / total #impl: 8416635 (eff. 0.019)
30.38/30.42	c GC COLLECT
30.38/30.42	c #Conflicts:       3000 | #Learnt:       2046 | 0.000
30.38/30.42	c total clause space: 78.2603MB
30.38/30.42	c total #watches: 336642
48.39/48.44	c total #propagations: 207136 / total #impl: 13631038 (eff. 0.015)
48.39/48.44	c #Conflicts:       4000 | #Learnt:       3047 | 0.000
48.39/48.44	c total clause space: 127.173MB
48.39/48.44	c total #watches: 444503
66.78/66.83	c total #propagations: 274447 / total #impl: 21215643 (eff. 0.013)
66.78/66.83	c GC COLLECT
66.78/66.83	c #Conflicts:       5000 | #Learnt:       2403 | 0.000
66.78/66.83	c total clause space: 127.173MB
66.78/66.83	c total #watches: 400280
84.78/84.81	c total #propagations: 343518 / total #impl: 31381371 (eff. 0.011)
84.78/84.81	c #Conflicts:       6000 | #Learnt:       3403 | 0.000
84.78/84.81	c total clause space: 127.173MB
84.78/84.81	c total #watches: 499668
94.78/94.85	c total #propagations: 404315 / total #impl: 39897366 (eff. 0.010)
94.78/94.85	c GC COLLECT
94.78/94.85	c #Conflicts:       7000 | #Learnt:       2297 | 0.000
94.78/94.85	c total clause space: 206.656MB
94.78/94.85	c total #watches: 364559
102.18/102.21	c total #propagations: 431114 / total #impl: 44854165 (eff. 0.010)
102.18/102.21	c #Conflicts:       8000 | #Learnt:       3297 | 0.000
102.18/102.21	c total clause space: 206.656MB
102.18/102.21	c total #watches: 513697
124.47/124.50	c total #propagations: 461323 / total #impl: 49583388 (eff. 0.009)
124.47/124.50	c #Conflicts:       9000 | #Learnt:       4297 | 0.000
124.47/124.50	c total clause space: 206.656MB
124.47/124.50	c total #watches: 720005
148.16/148.24	c total #propagations: 512712 / total #impl: 59052671 (eff. 0.009)
148.16/148.24	c GC COLLECT
148.16/148.24	c #Conflicts:      10000 | #Learnt:       2792 | 0.000
148.16/148.24	c total clause space: 206.656MB
148.16/148.24	c total #watches: 535232
166.96/167.05	c total #propagations: 558981 / total #impl: 65055221 (eff. 0.009)
166.96/167.05	c #Conflicts:      11000 | #Learnt:       3792 | 0.000
166.96/167.05	c total clause space: 206.656MB
166.96/167.05	c total #watches: 611761
190.46/190.58	c total #propagations: 609064 / total #impl: 70964842 (eff. 0.009)
190.46/190.58	c #Conflicts:      12000 | #Learnt:       4792 | 0.000
190.46/190.58	c total clause space: 206.656MB
190.46/190.58	c total #watches: 682250
223.36/223.49	c total #propagations: 656439 / total #impl: 74443840 (eff. 0.009)
223.36/223.49	c #Conflicts:      13000 | #Learnt:       5792 | 0.000
223.36/223.49	c total clause space: 335.816MB
223.36/223.49	c total #watches: 738067
244.95/245.00	c total #propagations: 721210 / total #impl: 78336877 (eff. 0.009)
244.95/245.00	c GC COLLECT
244.95/245.00	c #Conflicts:      14000 | #Learnt:       3940 | 0.000
244.95/245.00	c total clause space: 335.816MB
244.95/245.00	c total #watches: 461705
262.86/262.97	c total #propagations: 808173 / total #impl: 93951222 (eff. 0.009)
262.86/262.97	c #Conflicts:      15000 | #Learnt:       4940 | 0.000
262.86/262.97	c total clause space: 335.816MB
262.86/262.97	c total #watches: 527509
279.25/279.37	c total #propagations: 884384 / total #impl: 97613948 (eff. 0.009)
279.25/279.37	c #Conflicts:      16000 | #Learnt:       5940 | 0.000
279.25/279.37	c total clause space: 335.816MB
279.25/279.37	c total #watches: 617731
293.34/293.42	c total #propagations: 940514 / total #impl: 102940638 (eff. 0.009)
293.34/293.42	c GC COLLECT
293.34/293.42	c #Conflicts:      17000 | #Learnt:       3764 | 0.000
293.34/293.42	c total clause space: 335.816MB
293.34/293.42	c total #watches: 404816
303.24/303.39	c total #propagations: 984351 / total #impl: 105463969 (eff. 0.009)
303.24/303.39	c #Conflicts:      18000 | #Learnt:       4764 | 0.000
303.24/303.39	c total clause space: 335.816MB
303.24/303.39	c total #watches: 460031
315.24/315.31	c total #propagations: 1021679 / total #impl: 107983118 (eff. 0.009)
315.24/315.31	c #Conflicts:      19000 | #Learnt:       5764 | 0.000
315.24/315.31	c total clause space: 335.816MB
315.24/315.31	c total #watches: 524629
337.64/337.79	c total #propagations: 1058973 / total #impl: 110246406 (eff. 0.010)
337.64/337.79	c #Conflicts:      20000 | #Learnt:       6765 | 0.000
337.64/337.79	c total clause space: 335.816MB
337.64/337.79	c total #watches: 662006
365.93/366.00	c total #propagations: 1107307 / total #impl: 115205180 (eff. 0.010)
365.93/366.00	c GC COLLECT
365.93/366.00	c #Conflicts:      21000 | #Learnt:       4280 | 0.000
365.93/366.00	c total clause space: 335.816MB
365.93/366.00	c total #watches: 548495
396.12/396.26	c total #propagations: 1178523 / total #impl: 128286933 (eff. 0.009)
396.12/396.26	c #Conflicts:      22000 | #Learnt:       5280 | 0.000
396.12/396.26	c total clause space: 335.816MB
396.12/396.26	c total #watches: 633149
427.72/427.89	c total #propagations: 1267921 / total #impl: 137276841 (eff. 0.009)
427.72/427.89	c #Conflicts:      23000 | #Learnt:       6280 | 0.000
427.72/427.89	c total clause space: 335.816MB
427.72/427.89	c total #watches: 702509
455.91/456.04	c total #propagations: 1340551 / total #impl: 142529871 (eff. 0.009)
455.91/456.04	c #Conflicts:      24000 | #Learnt:       7280 | 0.000
455.91/456.04	c total clause space: 335.816MB
455.91/456.04	c total #watches: 744801
490.42/490.55	c total #propagations: 1393260 / total #impl: 146152263 (eff. 0.010)
490.42/490.55	c GC COLLECT
490.42/490.55	c #Conflicts:      25000 | #Learnt:       4480 | 0.000
490.42/490.55	c total clause space: 335.816MB
490.42/490.55	c total #watches: 475830
505.31/505.47	c total #propagations: 1480190 / total #impl: 153823029 (eff. 0.010)
505.31/505.47	c #Conflicts:      26000 | #Learnt:       5480 | 0.000
505.31/505.47	c total clause space: 335.816MB
505.31/505.47	c total #watches: 601661
520.32/520.46	c total #propagations: 1535698 / total #impl: 160785640 (eff. 0.010)
520.32/520.46	c #Conflicts:      27000 | #Learnt:       6480 | 0.000
520.32/520.46	c total clause space: 335.816MB
520.32/520.46	c total #watches: 841038
551.70/551.82	c total #propagations: 1582913 / total #impl: 169495837 (eff. 0.009)
551.70/551.82	c #Conflicts:      28000 | #Learnt:       7480 | 0.000
551.70/551.82	c total clause space: 335.816MB
551.70/551.82	c total #watches: 1038051
589.40/589.50	c total #propagations: 1636878 / total #impl: 177315618 (eff. 0.009)
589.40/589.50	c GC COLLECT
589.40/589.50	c #Conflicts:      29000 | #Learnt:       4386 | 0.000
589.40/589.50	c total clause space: 335.816MB
589.40/589.50	c total #watches: 869061
613.60/613.77	c total #propagations: 1686055 / total #impl: 184039887 (eff. 0.009)
613.60/613.77	c #Conflicts:      30000 | #Learnt:       5386 | 0.000
613.60/613.77	c total clause space: 335.816MB
613.60/613.77	c total #watches: 958734
667.39/667.55	c total #propagations: 1728858 / total #impl: 189524987 (eff. 0.009)
667.39/667.55	c #Conflicts:      31000 | #Learnt:       6386 | 0.000
667.39/667.55	c total clause space: 335.816MB
667.39/667.55	c total #watches: 1077659
739.67/739.84	c total #propagations: 1814070 / total #impl: 201502881 (eff. 0.009)
739.67/739.84	c #Conflicts:      32000 | #Learnt:       7386 | 0.000
739.67/739.84	c total clause space: 335.816MB
739.67/739.84	c total #watches: 1165527
814.46/814.65	c total #propagations: 1928057 / total #impl: 213060368 (eff. 0.009)
814.46/814.65	c #Conflicts:      33000 | #Learnt:       8386 | 0.000
814.46/814.65	c total clause space: 335.816MB
814.46/814.65	c total #watches: 1180045
851.37/851.57	c total #propagations: 2071093 / total #impl: 215696094 (eff. 0.010)
851.37/851.57	c GC COLLECT
851.37/851.57	c #Conflicts:      34000 | #Learnt:       4985 | 0.000
851.37/851.57	c total clause space: 335.816MB
851.37/851.57	c total #watches: 575359
868.16/868.32	c total #propagations: 2157663 / total #impl: 222690455 (eff. 0.010)
868.16/868.32	c #Conflicts:      35000 | #Learnt:       5985 | 0.000
868.16/868.32	c total clause space: 335.816MB
868.16/868.32	c total #watches: 683884
895.75/895.91	c total #propagations: 2210783 / total #impl: 230416751 (eff. 0.010)
895.75/895.91	c #Conflicts:      36000 | #Learnt:       6985 | 0.000
895.75/895.91	c total clause space: 335.816MB
895.75/895.91	c total #watches: 845983
933.35/933.58	c total #propagations: 2294058 / total #impl: 246825960 (eff. 0.009)
933.35/933.58	c #Conflicts:      37000 | #Learnt:       7985 | 0.000
933.35/933.58	c total clause space: 335.816MB
933.35/933.58	c total #watches: 979016
973.74/973.98	c total #propagations: 2386392 / total #impl: 260039387 (eff. 0.009)
973.74/973.98	c #Conflicts:      38000 | #Learnt:       8985 | 0.000
973.74/973.98	c total clause space: 335.816MB
973.74/973.98	c total #watches: 1124051
1007.73/1007.91	c total #propagations: 2480107 / total #impl: 272514954 (eff. 0.009)
1007.73/1007.91	c GC COLLECT
1007.73/1007.91	c #Conflicts:      39000 | #Learnt:       5285 | 0.000
1007.73/1007.91	c total clause space: 335.816MB
1007.73/1007.91	c total #watches: 745053
1034.93/1035.15	c total #propagations: 2581398 / total #impl: 278479857 (eff. 0.009)
1034.93/1035.15	c #Conflicts:      40000 | #Learnt:       6285 | 0.000
1034.93/1035.15	c total clause space: 335.816MB
1034.93/1035.15	c total #watches: 887493
1070.82/1071.08	c total #propagations: 2655440 / total #impl: 291627433 (eff. 0.009)
1070.82/1071.08	c #Conflicts:      41000 | #Learnt:       7285 | 0.000
1070.82/1071.08	c total clause space: 335.816MB
1070.82/1071.08	c total #watches: 996684
1108.31/1108.58	c total #propagations: 2741385 / total #impl: 301178267 (eff. 0.009)
1108.31/1108.58	c #Conflicts:      42000 | #Learnt:       8285 | 0.000
1108.31/1108.58	c total clause space: 335.816MB
1108.31/1108.58	c total #watches: 1110826
1142.71/1142.95	c total #propagations: 2813172 / total #impl: 316119705 (eff. 0.009)
1142.71/1142.95	c #Conflicts:      43000 | #Learnt:       9285 | 0.000
1142.71/1142.95	c total clause space: 335.816MB
1142.71/1142.95	c total #watches: 1228564
1170.40/1170.67	c total #propagations: 2879960 / total #impl: 328187934 (eff. 0.009)
1170.40/1170.67	c GC COLLECT
1170.40/1170.67	c #Conflicts:      44000 | #Learnt:       5247 | 0.000
1170.40/1170.67	c total clause space: 545.701MB
1170.40/1170.67	c total #watches: 738572
1193.40/1193.69	c total #propagations: 2938093 / total #impl: 337075765 (eff. 0.009)
1193.40/1193.69	c #Conflicts:      45000 | #Learnt:       6247 | 0.000
1193.40/1193.69	c total clause space: 545.701MB
1193.40/1193.69	c total #watches: 788322
1238.89/1239.19	c total #propagations: 3015071 / total #impl: 342486860 (eff. 0.009)
1238.89/1239.19	c #Conflicts:      46000 | #Learnt:       7247 | 0.000
1238.89/1239.19	c total clause space: 545.701MB
1238.89/1239.19	c total #watches: 880940
1274.48/1274.74	c total #propagations: 3119150 / total #impl: 353024660 (eff. 0.009)
1274.48/1274.74	c #Conflicts:      47000 | #Learnt:       8247 | 0.000
1274.48/1274.74	c total clause space: 545.701MB
1274.48/1274.74	c total #watches: 935014
1330.67/1330.91	c total #propagations: 3188185 / total #impl: 356722153 (eff. 0.009)
1330.67/1330.91	c #Conflicts:      48000 | #Learnt:       9247 | 0.000
1330.67/1330.91	c total clause space: 545.701MB
1330.67/1330.91	c total #watches: 1027225
1381.57/1381.85	c total #propagations: 3293830 / total #impl: 363576391 (eff. 0.009)
1381.57/1381.85	c #Conflicts:      49000 | #Learnt:      10247 | 0.000
1381.57/1381.85	c total clause space: 545.701MB
1381.57/1381.85	c total #watches: 1127491
1424.97/1425.25	c total #propagations: 3369148 / total #impl: 371808975 (eff. 0.009)
1424.97/1425.25	c GC COLLECT
1424.97/1425.25	c #Conflicts:      50000 | #Learnt:       5924 | 0.000
1424.97/1425.25	c total clause space: 545.701MB
1424.97/1425.25	c total #watches: 771912
1461.96/1462.27	c total #propagations: 3465024 / total #impl: 378523513 (eff. 0.009)
1461.96/1462.27	c #Conflicts:      51000 | #Learnt:       6924 | 0.000
1461.96/1462.27	c total clause space: 545.701MB
1461.96/1462.27	c total #watches: 895109
1530.85/1531.11	c total #propagations: 3541452 / total #impl: 386565391 (eff. 0.009)
1530.85/1531.11	c #Conflicts:      52000 | #Learnt:       7924 | 0.000
1530.85/1531.11	c total clause space: 545.701MB
1530.85/1531.11	c total #watches: 934617
1601.74/1602.07	c total #propagations: 3689828 / total #impl: 391684177 (eff. 0.009)
1601.74/1602.07	c #Conflicts:      53000 | #Learnt:       8924 | 0.000
1601.74/1602.07	c total clause space: 545.701MB
1601.74/1602.07	c total #watches: 941294
1660.93/1661.22	c total #propagations: 3852774 / total #impl: 392270204 (eff. 0.010)
1660.93/1661.22	c #Conflicts:      54000 | #Learnt:       9924 | 0.000
1660.93/1661.22	c total clause space: 545.701MB
1660.93/1661.22	c total #watches: 953910
1723.92/1724.22	c total #propagations: 4027103 / total #impl: 399121714 (eff. 0.010)
1723.92/1724.22	c #Conflicts:      55000 | #Learnt:      10924 | 0.000
1723.92/1724.22	c total clause space: 545.701MB
1723.92/1724.22	c total #watches: 1041493
1765.61/1765.96	c total #propagations: 4122660 / total #impl: 410984053 (eff. 0.010)
1765.61/1765.96	c GC COLLECT
1765.61/1765.96	c #Conflicts:      56000 | #Learnt:       6312 | 0.000
1765.61/1765.96	c total clause space: 545.701MB
1765.61/1765.96	c total #watches: 837625
1799.61/1799.91	c total #propagations: 4226568 / total #impl: 426150840 (eff. 0.010)
1799.61/1799.91	c #Conflicts:      57000 | #Learnt:       7312 | 0.000
1799.61/1799.91	c total clause space: 545.701MB
1799.61/1799.91	c total #watches: 892896

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-4118932-1467229954/watcher-4118932-1467229954 -o /tmp/evaluation-result-4118932-1467229954/solver-4118932-1467229954 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467209129-3732 --watchdog 1960 --input HOME/instance-4118932-1467229954.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=5483
running on 4 cores: 1,3,5,7

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.28 2.31 2.25 3/176 5486
/proc/meminfo: memFree=23595080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 3952240 29810688 5269 33554432000 4194304 6201397 140733264293872 140737216534840 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 7278 5269 130 491 0 6777 0

[startup+0.100114 s]
/proc/loadavg: 2.28 2.31 2.25 3/176 5486
/proc/meminfo: memFree=23595080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=33984 CPUtime=0.09 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 530 0 0 0 9 0 0 0 20 0 1 0 3952240 34799616 7015 33554432000 4194304 6201397 140733264293872 140737216534840 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 8496 7015 146 491 0 7995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33984

[startup+0.20038 s]
/proc/loadavg: 2.28 2.31 2.25 3/176 5486
/proc/meminfo: memFree=23595080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=34256 CPUtime=0.19 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 571 0 0 0 19 0 0 0 20 0 1 0 3952240 35078144 7056 33554432000 4194304 6201397 140733264293872 140737216534840 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 8564 7056 146 491 0 8063 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34256

[startup+0.300369 s]
/proc/loadavg: 2.28 2.31 2.25 3/176 5486
/proc/meminfo: memFree=23595080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=34408 CPUtime=0.29 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 609 0 0 0 29 0 0 0 20 0 1 0 3952240 35233792 7094 33554432000 4194304 6201397 140733264293872 140733264292440 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 8602 7094 146 491 0 8101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34408

[startup+0.700232 s]
/proc/loadavg: 2.28 2.31 2.25 3/176 5486
/proc/meminfo: memFree=23595080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=34512 CPUtime=0.69 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 647 0 0 0 69 0 0 0 20 0 1 0 3952240 35340288 7643 33554432000 4194304 6201397 140733264293872 140733264292440 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 8628 7643 146 491 0 8127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34512

[startup+1.50028 s]
/proc/loadavg: 2.26 2.30 2.25 3/177 5487
/proc/meminfo: memFree=23563920/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=37972 CPUtime=1.49 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 1139 0 0 0 149 0 0 0 20 0 1 0 3952240 38883328 8071 33554432000 4194304 6201397 140733264293872 140733264292568 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 9493 8071 147 491 0 8992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37972

[startup+3.10023 s]
/proc/loadavg: 2.26 2.30 2.25 3/177 5487
/proc/meminfo: memFree=23560136/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=42852 CPUtime=3.09 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 1407 0 0 0 309 0 0 0 20 0 1 0 3952240 43880448 8816 33554432000 4194304 6201397 140733264293872 140733264292536 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 10713 8816 147 491 0 10212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42852

[startup+6.30023 s]
/proc/loadavg: 2.26 2.30 2.25 3/177 5487
/proc/meminfo: memFree=23551888/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=62864 CPUtime=6.29 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 2056 0 0 0 629 0 0 0 20 0 1 0 3952240 64372736 10918 33554432000 4194304 6201397 140733264293872 140733264292824 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 15716 10918 147 491 0 15215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62864

[startup+12.7003 s]
/proc/loadavg: 2.30 2.31 2.25 3/177 5487
/proc/meminfo: memFree=23534872/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=82908 CPUtime=12.69 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 2666 0 0 0 1268 1 0 0 20 0 1 0 3952240 84897792 15029 33554432000 4194304 6201397 140733264293872 140733264292824 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 20727 15029 147 491 0 20226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82908

[startup+25.5003 s]
/proc/loadavg: 2.33 2.31 2.25 3/177 5487
/proc/meminfo: memFree=23480968/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=116208 CPUtime=25.48 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 5888 0 0 0 2547 1 0 0 20 0 1 0 3952240 118996992 27882 33554432000 4194304 6201397 140733264293872 140733264293000 4218503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 29052 27882 166 491 0 28551 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116208

[startup+51.1003 s]
/proc/loadavg: 2.33 2.31 2.25 3/177 5487
/proc/meminfo: memFree=23442868/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=167172 CPUtime=51.08 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 6364 0 0 0 5106 2 0 0 20 0 1 0 3952240 171184128 38013 33554432000 4194304 6201397 140733264293872 140733264293000 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 41793 38013 166 491 0 41292 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 167172

[startup+102.3 s]
/proc/loadavg: 2.22 2.29 2.25 3/177 5488
/proc/meminfo: memFree=23384560/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=252464 CPUtime=102.28 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 8781 0 0 0 10225 3 0 0 20 0 1 0 3952240 258523136 49427 33554432000 4194304 6201397 140733264293872 140733264293000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 63116 49427 166 491 0 62615 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252464

[startup+162.3 s]
/proc/loadavg: 2.33 2.30 2.25 4/177 5489
/proc/meminfo: memFree=23350252/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=254972 CPUtime=162.26 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 9594 0 0 0 16223 3 0 0 20 0 1 0 3952240 261091328 57905 33554432000 4194304 6201397 140733264293872 140733264293000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 63743 57905 166 491 0 63242 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 254972

[startup+222.307 s]
/proc/loadavg: 2.23 2.27 2.25 3/177 5491
/proc/meminfo: memFree=23318680/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=387360 CPUtime=222.26 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 9871 0 0 0 22222 4 0 0 20 0 1 0 3952240 396656640 63236 33554432000 4194304 6201397 140733264293872 140733264292904 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 96840 63236 166 491 0 96339 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 387360

[startup+282.3 s]
/proc/loadavg: 2.25 2.27 2.24 3/177 5492
/proc/meminfo: memFree=23313600/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=387360 CPUtime=282.25 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 10357 0 0 0 28221 4 0 0 20 0 1 0 3952240 396656640 64429 33554432000 4194304 6201397 140733264293872 140733264293000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 96840 64429 166 491 0 96339 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 387360

[startup+342.3 s]
/proc/loadavg: 2.26 2.26 2.24 4/177 5493
/proc/meminfo: memFree=23279976/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=387624 CPUtime=342.23 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 10520 0 0 0 34219 4 0 0 20 0 1 0 3952240 396926976 72245 33554432000 4194304 6201397 140733264293872 140733264292584 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 96906 72245 166 491 0 96405 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 387624

[startup+402.3 s]
/proc/loadavg: 2.31 2.27 2.25 3/177 5494
/proc/meminfo: memFree=23269672/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=388616 CPUtime=402.22 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 10814 0 0 0 40218 4 0 0 20 0 1 0 3952240 397942784 74072 33554432000 4194304 6201397 140733264293872 140733264293000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 97154 74072 166 491 0 96653 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 388616

[startup+462.3 s]
/proc/loadavg: 2.34 2.28 2.25 4/178 5498
/proc/meminfo: memFree=23248156/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=391596 CPUtime=462.22 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 11455 0 0 0 46217 5 0 0 20 0 1 0 3952240 400994304 77779 33554432000 4194304 6201397 140733264293872 140733264292712 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 97899 77779 166 491 0 97398 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 391596

[startup+522.3 s]
/proc/loadavg: 2.28 2.27 2.25 3/178 5523
/proc/meminfo: memFree=23232572/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=392028 CPUtime=522.21 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 11586 0 0 0 52216 5 0 0 20 0 1 0 3952240 401436672 80465 33554432000 4194304 6201397 140733264293872 140733264293000 4213348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 98007 80465 166 491 0 97506 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 392028

[startup+582.3 s]
/proc/loadavg: 2.21 2.25 2.24 3/177 5524
/proc/meminfo: memFree=23201648/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=398932 CPUtime=582.2 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13107 0 0 0 58214 6 0 0 20 0 1 0 3952240 408506368 87607 33554432000 4194304 6201397 140733264293872 140733264292632 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 99733 87607 166 491 0 99232 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 398932


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.25 2.24 3/177 5577
/proc/meminfo: memFree=23447080/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=399332 CPUtime=942.15 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13398 0 0 0 94208 7 0 0 20 0 1 0 3952240 408915968 92497 33554432000 4194304 6201397 140733264293872 140733264293000 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 99833 92497 166 491 0 99332 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 399332

[startup+1002.3 s]
/proc/loadavg: 2.24 2.25 2.24 3/177 5623
/proc/meminfo: memFree=23328452/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=399892 CPUtime=1002.13 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13504 0 0 0 100206 7 0 0 20 0 1 0 3952240 409489408 95370 33554432000 4194304 6201397 140733264293872 140733264292712 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 99973 95370 166 491 0 99472 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 399892

[startup+1062.3 s]
/proc/loadavg: 2.30 2.26 2.25 4/178 5627
/proc/meminfo: memFree=23278404/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=399892 CPUtime=1062.12 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13523 0 0 0 106205 7 0 0 20 0 1 0 3952240 409489408 95386 33554432000 4194304 6201397 140733264293872 140733264293000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 99973 95386 166 491 0 99472 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 399892

[startup+1122.3 s]
/proc/loadavg: 2.27 2.26 2.25 3/177 5629
/proc/meminfo: memFree=23251408/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=399892 CPUtime=1122.11 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13550 0 0 0 112204 7 0 0 20 0 1 0 3952240 409489408 95413 33554432000 4194304 6201397 140733264293872 140733264293000 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 99973 95413 166 491 0 99472 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 399892

[startup+1182.3 s]
/proc/loadavg: 2.22 2.24 2.24 3/177 5630
/proc/meminfo: memFree=23211452/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615344 CPUtime=1182.1 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13906 0 0 0 118203 7 0 0 20 0 1 0 3952240 630112256 100310 33554432000 4194304 6201397 140733264293872 140733264293000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153836 100310 166 491 0 153335 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 615344

[startup+1242.3 s]
/proc/loadavg: 2.19 2.22 2.23 3/177 5631
/proc/meminfo: memFree=23187808/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615344 CPUtime=1242.09 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13907 0 0 0 124202 7 0 0 20 0 1 0 3952240 630112256 100633 33554432000 4194304 6201397 140733264293872 140733264293000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153836 100633 166 491 0 153335 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 615344

[startup+1302.3 s]
/proc/loadavg: 2.16 2.21 2.22 3/177 5632
/proc/meminfo: memFree=23181388/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615344 CPUtime=1302.08 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13907 0 0 0 130201 7 0 0 20 0 1 0 3952240 630112256 100633 33554432000 4194304 6201397 140733264293872 140733264293000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153836 100633 166 491 0 153335 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 615344

[startup+1362.3 s]
/proc/loadavg: 2.30 2.23 2.23 3/177 5633
/proc/meminfo: memFree=23160700/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615344 CPUtime=1362.07 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13914 0 0 0 136200 7 0 0 20 0 1 0 3952240 630112256 100640 33554432000 4194304 6201397 140733264293872 140733264293000 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153836 100640 166 491 0 153335 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 615344

[startup+1422.3 s]
/proc/loadavg: 2.28 2.23 2.23 3/177 5635
/proc/meminfo: memFree=23131960/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1422.07 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13954 0 0 0 142199 8 0 0 20 0 1 0 3952240 630243328 105279 33554432000 4194304 6201397 140733264293872 140733264293000 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105279 166 491 0 153367 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 615472

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.23 3/177 5636
/proc/meminfo: memFree=23123768/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1482.06 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13955 0 0 0 148198 8 0 0 20 0 1 0 3952240 630243328 105280 33554432000 4194304 6201397 140733264293872 140733264293000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105280 166 491 0 153367 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 615472

[startup+1542.31 s]
/proc/loadavg: 2.37 2.26 2.23 3/177 5637
/proc/meminfo: memFree=23114956/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1542.06 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13955 0 0 0 154198 8 0 0 20 0 1 0 3952240 630243328 105280 33554432000 4194304 6201397 140733264293872 140733264293000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105280 166 491 0 153367 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 615472

[startup+1602.3 s]
/proc/loadavg: 2.24 2.24 2.23 3/177 5638
/proc/meminfo: memFree=23101116/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1602.04 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13955 0 0 0 160196 8 0 0 20 0 1 0 3952240 630243328 105280 33554432000 4194304 6201397 140733264293872 140733264293000 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105280 166 491 0 153367 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 615472

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.22 3/178 5642
/proc/meminfo: memFree=23096864/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1662.03 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13955 0 0 0 166195 8 0 0 20 0 1 0 3952240 630243328 105280 33554432000 4194304 6201397 140733264293872 140733264293000 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105280 166 491 0 153367 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 615472

[startup+1722.3 s]
/proc/loadavg: 2.12 2.20 2.21 3/177 5644
/proc/meminfo: memFree=23079388/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1722.02 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13957 0 0 0 172194 8 0 0 20 0 1 0 3952240 630243328 105282 33554432000 4194304 6201397 140733264293872 140733264293000 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 105282 166 491 0 153367 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 615472

[startup+1782.3 s]
/proc/loadavg: 2.24 2.22 2.21 3/177 5645
/proc/meminfo: memFree=23065012/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1782.01 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13967 0 0 0 178193 8 0 0 20 0 1 0 3952240 630243328 106825 33554432000 4194304 6201397 140733264293872 140733264293000 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 106825 166 491 0 153367 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 615472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.24 2.22 3/177 5646
/proc/meminfo: memFree=23054516/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1800.01 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13967 0 0 0 179993 8 0 0 20 0 1 0 3952240 630243328 106825 33554432000 4194304 6201397 140733264293872 140733264293000 4213367 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 106825 166 491 0 153367 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 615472

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

[startup+1800.3 s]
/proc/loadavg: 2.34 2.24 2.22 3/177 5646
/proc/meminfo: memFree=23054516/32872528 swapFree=1497052/1644220
[pid=5486] ppid=5483 vsize=615472 CPUtime=1800.01 cores=1,3,5,7
/proc/5486/stat : 5486 (cdcl-cuttingpla) R 5483 5486 3715 0 -1 4202496 13967 0 0 0 179993 8 0 0 20 0 1 0 3952240 630243328 106825 33554432000 4194304 6201397 140733264293872 140733264293000 4213367 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 153868 106825 166 491 0 153367 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 615472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.93
CPU system time (s): 0.085986
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 615472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.085986
maximum resident set size= 427300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13967
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= 12
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45532 second user time and 7.00493 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-29 21:52:34
IDJOB=4118932
IDBENCH=111548
IDSOLVER=2550
FILE ID=node124/4118932-1467229954
RUNJOBID= node124-1467209129-3732
PBS_JOBID= 19997580
Free space on /tmp= 71732 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_bern40-10.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118932-1467229954/watcher-4118932-1467229954 -o /tmp/evaluation-result-4118932-1467229954/solver-4118932-1467229954 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467209129-3732 --watchdog 1960 --input HOME/instance-4118932-1467229954.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 97ab9db877b63a63c316f183597a0e7a
RANDOM SEED=211153879

node124.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.062
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.12
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.062
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.062
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		: 2667.062
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.062
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.062
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.062
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.56
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.062
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:        23595988 kB
Buffers:          157208 kB
Cached:          6440196 kB
SwapCached:            0 kB
Active:           424948 kB
Inactive:        6448276 kB
Active(anon):     277924 kB
Inactive(anon):        0 kB
Active(file):     147024 kB
Inactive(file):  6448276 kB
Unevictable:     1644220 kB
Mlocked:         1497052 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:       2023584 kB
Mapped:            14436 kB
Shmem:               204 kB
Slab:             627348 kB
SReclaimable:      71536 kB
SUnreclaim:       555812 kB
KernelStack:        1472 kB
PageTables:         7856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2035560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 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= 71728 MiB
End job on node124 at 2016-06-29 22:22:35