Trace number 4087953

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.03 1800.3

General information on the benchmark

NameOPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-11.opb
MD5SUMbe0ee53d1d6c84942735566cff0a7cef
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark690
Best CPU time to get the best result obtained on this benchmark2.15767
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62688
Total number of constraints289057
Number of constraints which are clauses289057
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint339
Number of terms in the objective function 1880
Biggest coefficient in the objective function 341
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525480
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 341
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525480
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= 62688 #constraint= 289057
16.99/17.04	c #Conflicts:       1000 | #Learnt:       1028 | 0.000
16.99/17.04	c total clause space: 48.1602MB
16.99/17.04	c total #watches: 528667
29.39/29.49	c total #propagations: 1757795 / total #impl: 305260655 (eff. 0.006)
29.39/29.49	c #Conflicts:       2000 | #Learnt:       2084 | 0.000
29.39/29.49	c total clause space: 48.1602MB
29.39/29.49	c total #watches: 778564
30.49/30.59	c total #propagations: 3446037 / total #impl: 310482176 (eff. 0.011)
30.49/30.59	c GC COLLECT
30.49/30.59	c #Conflicts:       3000 | #Learnt:       2140 | 0.000
30.49/30.59	c total clause space: 48.1602MB
30.49/30.59	c total #watches: 751617
33.18/33.20	c total #propagations: 4335680 / total #impl: 314016815 (eff. 0.014)
33.18/33.20	c #Conflicts:       4000 | #Learnt:       3145 | 0.000
33.18/33.20	c total clause space: 78.2603MB
33.18/33.21	c total #watches: 1050337
35.98/36.05	c total #propagations: 5255434 / total #impl: 379746352 (eff. 0.014)
35.98/36.05	c GC COLLECT
35.98/36.05	c #Conflicts:       5000 | #Learnt:       2525 | 0.000
35.98/36.05	c total clause space: 78.2603MB
35.98/36.05	c total #watches: 1009286
38.88/38.94	c total #propagations: 5961570 / total #impl: 490266380 (eff. 0.012)
38.88/38.94	c #Conflicts:       6000 | #Learnt:       3525 | 0.000
38.88/38.94	c total clause space: 78.2603MB
38.88/38.94	c total #watches: 1139440
41.79/41.88	c total #propagations: 7223250 / total #impl: 742705676 (eff. 0.010)
41.79/41.88	c GC COLLECT
41.79/41.88	c #Conflicts:       7000 | #Learnt:       2423 | 0.000
41.79/41.88	c total clause space: 78.2603MB
41.79/41.88	c total #watches: 843331
43.89/44.00	c total #propagations: 8310544 / total #impl: 779468897 (eff. 0.011)
43.89/44.00	c #Conflicts:       8000 | #Learnt:       3423 | 0.000
43.89/44.00	c total clause space: 78.2603MB
43.89/44.00	c total #watches: 1284767
51.18/51.23	c total #propagations: 9158788 / total #impl: 821992154 (eff. 0.011)
51.18/51.23	c #Conflicts:       9000 | #Learnt:       4423 | 0.000
51.18/51.23	c total clause space: 127.173MB
51.18/51.23	c total #watches: 1933959
64.08/64.15	c total #propagations: 9999020 / total #impl: 1611220358 (eff. 0.006)
64.08/64.15	c GC COLLECT
64.08/64.15	c #Conflicts:      10000 | #Learnt:       2932 | 0.000
64.08/64.15	c total clause space: 127.173MB
64.08/64.15	c total #watches: 1775467
78.98/79.05	c total #propagations: 10797147 / total #impl: 2518329171 (eff. 0.004)
78.98/79.05	c #Conflicts:      11000 | #Learnt:       3932 | 0.000
78.98/79.05	c total clause space: 127.173MB
78.98/79.05	c total #watches: 2278391
94.58/94.62	c total #propagations: 11388178 / total #impl: 4055189293 (eff. 0.003)
94.58/94.62	c #Conflicts:      12000 | #Learnt:       4932 | 0.000
94.58/94.62	c total clause space: 127.173MB
94.58/94.62	c total #watches: 2395984
109.67/109.70	c total #propagations: 12507096 / total #impl: 5416600948 (eff. 0.002)
109.67/109.70	c #Conflicts:      13000 | #Learnt:       5932 | 0.000
109.67/109.70	c total clause space: 127.173MB
109.67/109.70	c total #watches: 2778837
120.58/120.60	c total #propagations: 13545201 / total #impl: 6594834662 (eff. 0.002)
120.58/120.60	c GC COLLECT
120.58/120.60	c #Conflicts:      14000 | #Learnt:       4082 | 0.000
120.58/120.60	c total clause space: 127.173MB
120.58/120.60	c total #watches: 2026455
134.67/134.78	c total #propagations: 13986395 / total #impl: 8156036510 (eff. 0.002)
134.67/134.78	c #Conflicts:      15000 | #Learnt:       5082 | 0.000
134.67/134.78	c total clause space: 127.173MB
134.67/134.79	c total #watches: 2312636
150.78/150.85	c total #propagations: 14509163 / total #impl: 10008219550 (eff. 0.001)
150.78/150.85	c #Conflicts:      16000 | #Learnt:       6082 | 0.000
150.78/150.85	c total clause space: 127.173MB
150.78/150.85	c total #watches: 2862157
166.67/166.75	c total #propagations: 15474585 / total #impl: 12127704680 (eff. 0.001)
166.67/166.75	c GC COLLECT
166.67/166.75	c #Conflicts:      17000 | #Learnt:       3905 | 0.000
166.67/166.75	c total clause space: 206.656MB
166.67/166.75	c total #watches: 2613217
189.66/189.74	c total #propagations: 15989231 / total #impl: 14542263723 (eff. 0.001)
189.66/189.74	c #Conflicts:      18000 | #Learnt:       4905 | 0.000
189.66/189.74	c total clause space: 206.656MB
189.66/189.74	c total #watches: 3624265
229.87/229.96	c total #propagations: 16413391 / total #impl: 18469389068 (eff. 0.001)
229.87/229.96	c #Conflicts:      19000 | #Learnt:       5905 | 0.000
229.87/229.96	c total clause space: 206.656MB
229.87/229.96	c total #watches: 4465936
284.95/285.06	c total #propagations: 16867681 / total #impl: 25298758465 (eff. 0.001)
284.95/285.06	c #Conflicts:      20000 | #Learnt:       6905 | 0.000
284.95/285.06	c total clause space: 206.656MB
284.95/285.06	c total #watches: 4980713
320.64/320.77	c total #propagations: 17395890 / total #impl: 33817546407 (eff. 0.001)
320.64/320.77	c GC COLLECT
320.64/320.77	c #Conflicts:      21000 | #Learnt:       4432 | 0.000
320.64/320.77	c total clause space: 206.656MB
320.64/320.77	c total #watches: 3679731
345.14/345.27	c total #propagations: 17933097 / total #impl: 38551884457 (eff. 0.000)
345.14/345.27	c #Conflicts:      22000 | #Learnt:       5432 | 0.000
345.14/345.27	c total clause space: 206.656MB
345.14/345.27	c total #watches: 4076356
386.33/386.42	c total #propagations: 18456993 / total #impl: 41455961726 (eff. 0.000)
386.33/386.42	c #Conflicts:      23000 | #Learnt:       6432 | 0.000
386.33/386.42	c total clause space: 206.656MB
386.33/386.43	c total #watches: 4683359
428.03/428.17	c total #propagations: 19123810 / total #impl: 47034511466 (eff. 0.000)
428.03/428.17	c #Conflicts:      24000 | #Learnt:       7432 | 0.000
428.03/428.17	c total clause space: 206.656MB
428.03/428.17	c total #watches: 5644688
465.32/465.47	c total #propagations: 19625554 / total #impl: 52490074793 (eff. 0.000)
465.32/465.47	c GC COLLECT
465.32/465.47	c #Conflicts:      25000 | #Learnt:       4632 | 0.000
465.32/465.47	c total clause space: 335.816MB
465.32/465.47	c total #watches: 3632177
493.41/493.55	c total #propagations: 20197395 / total #impl: 57025071362 (eff. 0.000)
493.41/493.55	c #Conflicts:      26000 | #Learnt:       5632 | 0.000
493.41/493.55	c total clause space: 335.816MB
493.41/493.55	c total #watches: 4123137
541.11/541.27	c total #propagations: 20890434 / total #impl: 60505737982 (eff. 0.000)
541.11/541.27	c #Conflicts:      27000 | #Learnt:       6632 | 0.000
541.11/541.27	c total clause space: 335.816MB
541.11/541.27	c total #watches: 4321032
578.30/578.40	c total #propagations: 21414203 / total #impl: 66656049481 (eff. 0.000)
578.30/578.40	c #Conflicts:      28000 | #Learnt:       7632 | 0.000
578.30/578.40	c total clause space: 335.816MB
578.30/578.40	c total #watches: 4663406
623.49/623.63	c total #propagations: 22052354 / total #impl: 70284687590 (eff. 0.000)
623.49/623.63	c GC COLLECT
623.49/623.63	c #Conflicts:      29000 | #Learnt:       4529 | 0.000
623.49/623.63	c total clause space: 335.816MB
623.49/623.63	c total #watches: 2653950
648.79/648.99	c total #propagations: 22692990 / total #impl: 75765281922 (eff. 0.000)
648.79/648.99	c #Conflicts:      30000 | #Learnt:       5529 | 0.000
648.79/648.99	c total clause space: 335.816MB
648.79/648.99	c total #watches: 3116036
683.98/684.10	c total #propagations: 23240008 / total #impl: 79069749221 (eff. 0.000)
683.98/684.10	c #Conflicts:      31000 | #Learnt:       6529 | 0.000
683.98/684.10	c total clause space: 335.816MB
683.98/684.10	c total #watches: 3405705
712.48/712.63	c total #propagations: 23862671 / total #impl: 83539427322 (eff. 0.000)
712.48/712.63	c #Conflicts:      32000 | #Learnt:       7529 | 0.000
712.48/712.63	c total clause space: 335.816MB
712.48/712.63	c total #watches: 3966474
738.37/738.51	c total #propagations: 24434801 / total #impl: 85887689126 (eff. 0.000)
738.37/738.51	c #Conflicts:      33000 | #Learnt:       8529 | 0.000
738.37/738.51	c total clause space: 335.816MB
738.37/738.51	c total #watches: 4615743
765.48/765.64	c total #propagations: 24945212 / total #impl: 87604559685 (eff. 0.000)
765.48/765.64	c GC COLLECT
765.48/765.64	c #Conflicts:      34000 | #Learnt:       5133 | 0.000
765.48/765.64	c total clause space: 335.816MB
765.48/765.64	c total #watches: 2845853
787.37/787.57	c total #propagations: 25472443 / total #impl: 90049435287 (eff. 0.000)
787.37/787.57	c #Conflicts:      35000 | #Learnt:       6133 | 0.000
787.37/787.57	c total clause space: 335.816MB
787.37/787.57	c total #watches: 3778528
813.56/813.72	c total #propagations: 25983802 / total #impl: 92941336073 (eff. 0.000)
813.56/813.72	c #Conflicts:      36000 | #Learnt:       7133 | 0.000
813.56/813.72	c total clause space: 335.816MB
813.56/813.72	c total #watches: 4416940
844.16/844.35	c total #propagations: 27003568 / total #impl: 95863966473 (eff. 0.000)
844.16/844.35	c #Conflicts:      37000 | #Learnt:       8133 | 0.000
844.16/844.35	c total clause space: 335.816MB
844.16/844.35	c total #watches: 4596636
883.85/884.08	c total #propagations: 28166313 / total #impl: 98439929621 (eff. 0.000)
883.85/884.08	c #Conflicts:      38000 | #Learnt:       9133 | 0.000
883.85/884.08	c total clause space: 335.816MB
883.85/884.08	c total #watches: 5230607
904.75/904.97	c total #propagations: 28858111 / total #impl: 103110213168 (eff. 0.000)
904.75/904.97	c GC COLLECT
904.75/904.97	c #Conflicts:      39000 | #Learnt:       5443 | 0.000
904.75/904.97	c total clause space: 335.816MB
904.75/904.97	c total #watches: 3245018
940.24/940.46	c total #propagations: 29670016 / total #impl: 104806604859 (eff. 0.000)
940.24/940.46	c #Conflicts:      40000 | #Learnt:       6443 | 0.000
940.24/940.46	c total clause space: 335.816MB
940.24/940.46	c total #watches: 4028336
959.94/960.13	c total #propagations: 30270562 / total #impl: 109355739994 (eff. 0.000)
959.94/960.13	c #Conflicts:      41000 | #Learnt:       7443 | 0.000
959.94/960.13	c total clause space: 335.816MB
959.94/960.13	c total #watches: 4376343
999.53/999.78	c total #propagations: 30811270 / total #impl: 112204683918 (eff. 0.000)
999.53/999.78	c #Conflicts:      42000 | #Learnt:       8443 | 0.000
999.53/999.78	c total clause space: 335.816MB
999.53/999.78	c total #watches: 5008182
1028.73/1028.95	c total #propagations: 31405477 / total #impl: 118463423640 (eff. 0.000)
1028.73/1028.95	c #Conflicts:      43000 | #Learnt:       9443 | 0.000
1028.73/1028.95	c total clause space: 335.816MB
1028.73/1028.95	c total #watches: 5644580
1073.33/1073.53	c total #propagations: 31807611 / total #impl: 122846546466 (eff. 0.000)
1073.33/1073.53	c GC COLLECT
1073.33/1073.53	c #Conflicts:      44000 | #Learnt:       5440 | 0.000
1073.33/1073.53	c total clause space: 335.816MB
1073.33/1073.53	c total #watches: 3368390
1100.53/1100.78	c total #propagations: 32608394 / total #impl: 128706298562 (eff. 0.000)
1100.53/1100.78	c #Conflicts:      45000 | #Learnt:       6439 | 0.000
1100.53/1100.78	c total clause space: 335.816MB
1100.53/1100.78	c total #watches: 3941735
1128.32/1128.54	c total #propagations: 33199061 / total #impl: 132727041092 (eff. 0.000)
1128.32/1128.54	c #Conflicts:      46000 | #Learnt:       7439 | 0.000
1128.32/1128.54	c total clause space: 335.816MB
1128.32/1128.54	c total #watches: 4487646
1166.12/1166.34	c total #propagations: 33860787 / total #impl: 135524202125 (eff. 0.000)
1166.12/1166.34	c #Conflicts:      47000 | #Learnt:       8439 | 0.000
1166.12/1166.34	c total clause space: 335.816MB
1166.12/1166.34	c total #watches: 4947570
1209.21/1209.48	c total #propagations: 34478502 / total #impl: 139187486523 (eff. 0.000)
1209.21/1209.48	c #Conflicts:      48000 | #Learnt:       9439 | 0.000
1209.21/1209.48	c total clause space: 335.816MB
1209.21/1209.48	c total #watches: 5357216
1251.61/1251.88	c total #propagations: 35183575 / total #impl: 142920942817 (eff. 0.000)
1251.61/1251.88	c #Conflicts:      49000 | #Learnt:      10439 | 0.000
1251.61/1251.88	c total clause space: 335.816MB
1251.61/1251.88	c total #watches: 5851372
1296.90/1297.18	c total #propagations: 35755127 / total #impl: 146855678107 (eff. 0.000)
1296.90/1297.18	c GC COLLECT
1296.90/1297.18	c #Conflicts:      50000 | #Learnt:       6130 | 0.000
1296.90/1297.18	c total clause space: 335.816MB
1296.90/1297.18	c total #watches: 3700368
1325.40/1325.69	c total #propagations: 36487580 / total #impl: 152139061705 (eff. 0.000)
1325.40/1325.69	c #Conflicts:      51000 | #Learnt:       7130 | 0.000
1325.40/1325.69	c total clause space: 335.816MB
1325.40/1325.69	c total #watches: 4059358
1355.79/1356.05	c total #propagations: 37057547 / total #impl: 156030300901 (eff. 0.000)
1355.79/1356.05	c #Conflicts:      52000 | #Learnt:       8130 | 0.000
1355.79/1356.05	c total clause space: 335.816MB
1355.79/1356.05	c total #watches: 4487997
1389.78/1390.06	c total #propagations: 37790873 / total #impl: 160083382454 (eff. 0.000)
1389.78/1390.06	c #Conflicts:      53000 | #Learnt:       9130 | 0.000
1389.78/1390.06	c total clause space: 335.816MB
1389.78/1390.06	c total #watches: 4857063
1433.38/1433.61	c total #propagations: 38626604 / total #impl: 163754272773 (eff. 0.000)
1433.38/1433.61	c #Conflicts:      54000 | #Learnt:      10130 | 0.000
1433.38/1433.61	c total clause space: 335.816MB
1433.38/1433.61	c total #watches: 5358312
1493.76/1494.02	c total #propagations: 39116241 / total #impl: 169584505948 (eff. 0.000)
1493.76/1494.02	c #Conflicts:      55000 | #Learnt:      11130 | 0.000
1493.76/1494.02	c total clause space: 335.816MB
1493.76/1494.02	c total #watches: 6192394
1545.86/1546.15	c total #propagations: 39696632 / total #impl: 178088359716 (eff. 0.000)
1545.86/1546.15	c GC COLLECT
1545.86/1546.15	c #Conflicts:      56000 | #Learnt:       6526 | 0.000
1545.86/1546.15	c total clause space: 335.816MB
1545.86/1546.15	c total #watches: 3467000
1574.75/1575.09	c total #propagations: 40333558 / total #impl: 186715372704 (eff. 0.000)
1574.75/1575.09	c #Conflicts:      57000 | #Learnt:       7526 | 0.000
1574.75/1575.09	c total clause space: 335.816MB
1574.75/1575.09	c total #watches: 3860541
1596.85/1597.12	c total #propagations: 41112539 / total #impl: 189816492717 (eff. 0.000)
1596.85/1597.12	c #Conflicts:      58000 | #Learnt:       8526 | 0.000
1596.85/1597.12	c total clause space: 335.816MB
1596.85/1597.12	c total #watches: 4233345
1623.95/1624.27	c total #propagations: 41690701 / total #impl: 191367579291 (eff. 0.000)
1623.95/1624.27	c #Conflicts:      59000 | #Learnt:       9526 | 0.000
1623.95/1624.27	c total clause space: 335.816MB
1623.95/1624.27	c total #watches: 4572568
1668.74/1669.03	c total #propagations: 42279225 / total #impl: 193494976802 (eff. 0.000)
1668.74/1669.03	c #Conflicts:      60000 | #Learnt:      10526 | 0.000
1668.74/1669.03	c total clause space: 335.816MB
1668.74/1669.03	c total #watches: 5100480
1703.93/1704.20	c total #propagations: 42859964 / total #impl: 199459125877 (eff. 0.000)
1703.93/1704.20	c #Conflicts:      61000 | #Learnt:      11526 | 0.000
1703.93/1704.20	c total clause space: 335.816MB
1703.93/1704.20	c total #watches: 5695635
1745.93/1746.26	c total #propagations: 43627531 / total #impl: 202147365086 (eff. 0.000)
1745.93/1746.26	c GC COLLECT
1745.93/1746.26	c #Conflicts:      62000 | #Learnt:       6624 | 0.000
1745.93/1746.26	c total clause space: 335.816MB
1745.93/1746.26	c total #watches: 3036139
1763.13/1763.46	c total #propagations: 44264121 / total #impl: 207380931562 (eff. 0.000)
1763.13/1763.46	c #Conflicts:      63000 | #Learnt:       7624 | 0.000
1763.13/1763.46	c total clause space: 335.816MB
1763.13/1763.46	c total #watches: 3320438
1794.12/1794.46	c total #propagations: 44839449 / total #impl: 209729267615 (eff. 0.000)
1794.12/1794.46	c #Conflicts:      64000 | #Learnt:       8624 | 0.000
1794.12/1794.46	c total clause space: 335.816MB
1794.12/1794.46	c total #watches: 3635787

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-4087953-1465443294/watcher-4087953-1465443294 -o /tmp/evaluation-result-4087953-1465443294/solver-4087953-1465443294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23044 --watchdog 1960 --input HOME/instance-4087953-1465443294.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=25374
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.20 2.26 2.26 4/176 25377
/proc/meminfo: memFree=28632816/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 126262589 29810688 5268 33554432000 4194304 6201397 140734790932016 140735669270920 4211138 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 7278 5268 130 491 0 6777 0

[startup+0.100156 s]
/proc/loadavg: 2.20 2.26 2.26 4/176 25377
/proc/meminfo: memFree=28632816/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=34256 CPUtime=0.09 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 1277 0 0 0 9 0 0 0 20 0 1 0 126262589 35078144 7450 33554432000 4194304 6201397 140734790932016 140735669270920 5156228 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 8564 7450 142 491 0 8063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34256

[startup+0.200304 s]
/proc/loadavg: 2.20 2.26 2.26 4/176 25377
/proc/meminfo: memFree=28632816/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=37500 CPUtime=0.19 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 1966 0 0 0 19 0 0 0 20 0 1 0 126262589 38400000 7859 33554432000 4194304 6201397 140734790932016 140735669270920 4207438 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 9375 7859 143 491 0 8874 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37500

[startup+0.300273 s]
/proc/loadavg: 2.20 2.26 2.26 4/176 25377
/proc/meminfo: memFree=28632816/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=42316 CPUtime=0.29 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 3103 0 0 0 29 0 0 0 20 0 1 0 126262589 43331584 8555 33554432000 4194304 6201397 140734790932016 140735669270920 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 10579 8556 143 491 0 10078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42316

[startup+0.700238 s]
/proc/loadavg: 2.20 2.26 2.26 4/176 25377
/proc/meminfo: memFree=28632816/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=51484 CPUtime=0.69 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 4853 0 0 0 68 1 0 0 20 0 1 0 126262589 52719616 11768 33554432000 4194304 6201397 140734790932016 140735669270920 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 12871 11768 143 491 0 12370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51484

[startup+1.50024 s]
/proc/loadavg: 2.20 2.26 2.26 4/177 25378
/proc/meminfo: memFree=28574836/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=66612 CPUtime=1.49 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 6654 0 0 0 148 1 0 0 20 0 1 0 126262589 68210688 14565 33554432000 4194304 6201397 140734790932016 140734790930152 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 16653 14565 147 491 0 16152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66612

[startup+3.10024 s]
/proc/loadavg: 2.35 2.28 2.27 4/177 25378
/proc/meminfo: memFree=28571796/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=66612 CPUtime=3.09 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 6655 0 0 0 308 1 0 0 20 0 1 0 126262589 68210688 15077 33554432000 4194304 6201397 140734790932016 140734790930728 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 16653 15077 147 491 0 16152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66612

[startup+6.30025 s]
/proc/loadavg: 2.35 2.28 2.27 3/177 25378
/proc/meminfo: memFree=28571176/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=67540 CPUtime=6.29 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 6874 0 0 0 628 1 0 0 20 0 1 0 126262589 69160960 15296 33554432000 4194304 6201397 140734790932016 140734790930584 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 16885 15296 147 491 0 16384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67540

[startup+12.7003 s]
/proc/loadavg: 2.29 2.27 2.26 4/177 25378
/proc/meminfo: memFree=28567576/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=86640 CPUtime=12.68 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 7367 0 0 0 1267 1 0 0 20 0 1 0 126262589 88719360 16147 33554432000 4194304 6201397 140734790932016 140734790931048 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 21660 16147 147 491 0 21159 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86640

[startup+25.5004 s]
/proc/loadavg: 2.25 2.26 2.26 3/177 25378
/proc/meminfo: memFree=28557904/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=88356 CPUtime=25.49 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 7816 0 0 0 2547 2 0 0 20 0 1 0 126262589 90476544 18640 33554432000 4194304 6201397 140734790932016 140734790930728 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 22089 18640 160 491 0 21588 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88356

[startup+51.1004 s]
/proc/loadavg: 2.24 2.26 2.26 3/177 25378
/proc/meminfo: memFree=28505112/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=180156 CPUtime=51.08 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 11890 0 0 0 5105 3 0 0 20 0 1 0 126262589 184479744 32405 33554432000 4194304 6201397 140734790932016 140734790931048 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 45039 32405 166 491 0 44538 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 180156

[startup+102.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/177 25379
/proc/meminfo: memFree=28462876/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=193656 CPUtime=102.28 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 15606 0 0 0 10224 4 0 0 20 0 1 0 126262589 198303744 41951 33554432000 4194304 6201397 140734790932016 140734790930296 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 48414 41951 166 491 0 47913 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 193656

[startup+162.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/177 25381
/proc/meminfo: memFree=28436468/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=275736 CPUtime=162.27 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 16775 0 0 0 16222 5 0 0 20 0 1 0 126262589 282353664 48344 33554432000 4194304 6201397 140734790932016 140734790931048 4207498 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 68934 48344 166 491 0 68433 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 275736

[startup+222.307 s]
/proc/loadavg: 2.30 2.28 2.27 4/177 25382
/proc/meminfo: memFree=28387328/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=302752 CPUtime=222.27 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 21855 0 0 0 22221 6 0 0 20 0 1 0 126262589 310018048 60574 33554432000 4194304 6201397 140734790932016 140734790930728 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 75688 60574 166 491 0 75187 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 302752

[startup+282.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/177 25383
/proc/meminfo: memFree=28363752/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=303232 CPUtime=282.25 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 22502 0 0 0 28219 6 0 0 20 0 1 0 126262589 310509568 66331 33554432000 4194304 6201397 140734790932016 140734790930728 4213249 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 75808 66331 166 491 0 75307 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 303232

[startup+342.3 s]
/proc/loadavg: 1.93 2.20 2.24 3/171 25418
/proc/meminfo: memFree=28846900/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=303364 CPUtime=342.24 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 22854 0 0 0 34218 6 0 0 20 0 1 0 126262589 310644736 68713 33554432000 4194304 6201397 140734790932016 140734790931144 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 75841 68713 166 491 0 75340 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 303364

[startup+402.3 s]
/proc/loadavg: 1.42 2.01 2.17 2/170 25419
/proc/meminfo: memFree=28847204/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=303364 CPUtime=402.23 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 22854 0 0 0 40217 6 0 0 20 0 1 0 126262589 310644736 68713 33554432000 4194304 6201397 140734790932016 140734790931144 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 75841 68713 166 491 0 75340 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 303364

[startup+462.3 s]
/proc/loadavg: 1.28 1.85 2.10 2/170 25421
/proc/meminfo: memFree=28815784/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436424 CPUtime=462.22 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24357 0 0 0 46215 7 0 0 20 0 1 0 126262589 446898176 76495 33554432000 4194304 6201397 140734790932016 140734790930680 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109106 76495 166 491 0 108605 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 436424

[startup+522.3 s]
/proc/loadavg: 1.29 1.75 2.06 2/170 25422
/proc/meminfo: memFree=28813956/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436424 CPUtime=522.21 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24358 0 0 0 52214 7 0 0 20 0 1 0 126262589 446898176 76887 33554432000 4194304 6201397 140734790932016 140734790931144 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109106 76887 166 491 0 108605 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 436424

[startup+582.3 s]
/proc/loadavg: 1.20 1.63 1.99 2/170 25423
/proc/meminfo: memFree=28814116/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436584 CPUtime=582.2 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24364 0 0 0 58213 7 0 0 20 0 1 0 126262589 447062016 76892 33554432000 4194304 6201397 140734790932016 140734790931144 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109146 76892 166 491 0 108645 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 436584


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


[startup+942.3 s]
/proc/loadavg: 1.18 1.32 1.72 2/171 25433
/proc/meminfo: memFree=28814048/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436720 CPUtime=942.14 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24503 0 0 0 94207 7 0 0 20 0 1 0 126262589 447201280 77031 33554432000 4194304 6201397 140734790932016 140734790931144 4213332 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109180 77031 166 491 0 108679 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 436720

[startup+1002.3 s]
/proc/loadavg: 1.09 1.27 1.68 3/170 25434
/proc/meminfo: memFree=28814156/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436856 CPUtime=1002.13 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24514 0 0 0 100206 7 0 0 20 0 1 0 126262589 447340544 77042 33554432000 4194304 6201397 140734790932016 140734790931144 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109214 77042 166 491 0 108713 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 436856

[startup+1062.3 s]
/proc/loadavg: 1.09 1.23 1.64 2/170 25436
/proc/meminfo: memFree=28807416/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436856 CPUtime=1062.12 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24704 0 0 0 106205 7 0 0 20 0 1 0 126262589 447340544 78764 33554432000 4194304 6201397 140734790932016 140734790931144 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109214 78764 166 491 0 108713 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 436856

[startup+1122.3 s]
/proc/loadavg: 1.15 1.22 1.61 2/170 25437
/proc/meminfo: memFree=28805308/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436992 CPUtime=1122.12 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24741 0 0 0 112204 8 0 0 20 0 1 0 126262589 447479808 79297 33554432000 4194304 6201397 140734790932016 140734790931144 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109248 79297 166 491 0 108747 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 436992

[startup+1182.3 s]
/proc/loadavg: 1.16 1.21 1.58 2/170 25438
/proc/meminfo: memFree=28804972/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436992 CPUtime=1182.11 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24749 0 0 0 118203 8 0 0 20 0 1 0 126262589 447479808 79305 33554432000 4194304 6201397 140734790932016 140734790931144 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109248 79305 166 491 0 108747 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 436992

[startup+1242.3 s]
/proc/loadavg: 1.11 1.18 1.54 3/170 25439
/proc/meminfo: memFree=28804416/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=436992 CPUtime=1242.11 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24802 0 0 0 124203 8 0 0 20 0 1 0 126262589 447479808 79358 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109248 79358 166 491 0 108747 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 436992

[startup+1302.3 s]
/proc/loadavg: 1.26 1.21 1.53 2/170 25440
/proc/meminfo: memFree=28802424/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437128 CPUtime=1302.1 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24830 0 0 0 130202 8 0 0 20 0 1 0 126262589 447619072 79897 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109282 79897 166 491 0 108781 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 437128

[startup+1362.3 s]
/proc/loadavg: 1.33 1.23 1.52 3/170 25442
/proc/meminfo: memFree=28802500/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437128 CPUtime=1362.09 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24843 0 0 0 136201 8 0 0 20 0 1 0 126262589 447619072 79910 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109282 79910 166 491 0 108781 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 437128

[startup+1422.3 s]
/proc/loadavg: 1.27 1.23 1.49 2/170 25443
/proc/meminfo: memFree=28802548/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437128 CPUtime=1422.08 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24846 0 0 0 142200 8 0 0 20 0 1 0 126262589 447619072 79913 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109282 79913 166 491 0 108781 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 437128

[startup+1482.3 s]
/proc/loadavg: 1.25 1.23 1.48 2/170 25444
/proc/meminfo: memFree=28800196/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437272 CPUtime=1482.07 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24885 0 0 0 148199 8 0 0 20 0 1 0 126262589 447766528 80463 33554432000 4194304 6201397 140734790932016 140734790930728 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109318 80463 166 491 0 108817 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 437272

[startup+1542.31 s]
/proc/loadavg: 1.32 1.25 1.46 2/171 25448
/proc/meminfo: memFree=28783836/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437272 CPUtime=1542.06 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24912 0 0 0 154198 8 0 0 20 0 1 0 126262589 447766528 84578 33554432000 4194304 6201397 140734790932016 140734790931144 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109318 84578 166 491 0 108817 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 437272

[startup+1602.3 s]
/proc/loadavg: 1.22 1.23 1.44 2/171 25471
/proc/meminfo: memFree=28783696/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1602.05 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24917 0 0 0 160197 8 0 0 20 0 1 0 126262589 447905792 84583 33554432000 4194304 6201397 140734790932016 140734790931144 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84583 166 491 0 108851 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 437408

[startup+1662.3 s]
/proc/loadavg: 1.19 1.21 1.42 2/169 25472
/proc/meminfo: memFree=28783892/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1662.04 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24926 0 0 0 166196 8 0 0 20 0 1 0 126262589 447905792 84592 33554432000 4194304 6201397 140734790932016 140734790931144 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84592 166 491 0 108851 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 437408

[startup+1722.3 s]
/proc/loadavg: 1.25 1.22 1.41 2/170 25474
/proc/meminfo: memFree=28783948/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1722.03 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24948 0 0 0 172195 8 0 0 20 0 1 0 126262589 447905792 84614 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84614 166 491 0 108851 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 437408

[startup+1782.3 s]
/proc/loadavg: 1.29 1.24 1.40 2/169 25475
/proc/meminfo: memFree=28784140/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1782.02 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24950 0 0 0 178194 8 0 0 20 0 1 0 126262589 447905792 84616 33554432000 4194304 6201397 140734790932016 140734790931144 4213394 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84616 166 491 0 108851 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 437408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.29 1.24 1.40 2/169 25475
/proc/meminfo: memFree=28784312/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1800.02 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24956 0 0 0 179994 8 0 0 20 0 1 0 126262589 447905792 84622 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84622 166 491 0 108851 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 437408

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

[startup+1800.3 s]
/proc/loadavg: 1.29 1.24 1.40 2/169 25475
/proc/meminfo: memFree=28784312/32872528 swapFree=17892/1720544
[pid=25377] ppid=25374 vsize=437408 CPUtime=1800.02 cores=0,2,4,6
/proc/25377/stat : 25377 (cdcl-cuttingpla) R 25374 25377 23028 0 -1 4202496 24956 0 0 0 179994 8 0 0 20 0 1 0 126262589 447905792 84622 33554432000 4194304 6201397 140734790932016 140734790931144 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/25377/statm: 109352 84622 166 491 0 108851 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 437408

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.94
CPU system time (s): 0.084987
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 437408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.084987
maximum resident set size= 338488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24956
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= 7
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88026 second user time and 6.26705 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-09 05:34:54
IDJOB=4087953
IDBENCH=92882
IDSOLVER=2550
FILE ID=node117/4087953-1465443294
RUNJOBID= node117-1465427047-23044
PBS_JOBID= 19859790
Free space on /tmp= 71696 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-11.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087953-1465443294/watcher-4087953-1465443294 -o /tmp/evaluation-result-4087953-1465443294/solver-4087953-1465443294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23044 --watchdog 1960 --input HOME/instance-4087953-1465443294.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= be0ee53d1d6c84942735566cff0a7cef
RANDOM SEED=2037694597

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        28632816 kB
Buffers:          198312 kB
Cached:          1059292 kB
SwapCached:        29268 kB
Active:          1015416 kB
Inactive:         758360 kB
Active(anon):     488100 kB
Inactive(anon):    30596 kB
Active(file):     527316 kB
Inactive(file):   727764 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071232 kB
Dirty:             11296 kB
Writeback:             0 kB
AnonPages:       2210836 kB
Mapped:             7836 kB
Shmem:                 0 kB
Slab:             611568 kB
SReclaimable:      55184 kB
SUnreclaim:       556384 kB
KernelStack:        1432 kB
PageTables:         8464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2530860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2148352 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= 71700 MiB
End job on node117 at 2016-06-09 06:04:55