Trace number 4098114

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_15.opb
MD5SUMc226793b4129901062d8cb1e10a179c8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6320
Total number of constraints30894
Number of constraints which are clauses30889
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint79
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
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 * #variable= 6320 #constraint= 30894
1.49/1.59	c #Conflicts:       1000 | #Learnt:        999 | 0.000
1.49/1.59	c total clause space: 48.1602MB
1.49/1.59	c total #watches: 108354
5.29/5.36	c total #propagations: 1588347 / total #impl: 4188421 (eff. 0.379)
5.29/5.36	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
5.29/5.36	c total clause space: 78.2603MB
5.29/5.36	c total #watches: 168203
10.09/10.13	c total #propagations: 3041331 / total #impl: 8793592 (eff. 0.346)
10.09/10.13	c GARBAGE COLLECT
10.09/10.13	c #Conflicts:       3000 | #Learnt:       2006 | 0.000
10.09/10.13	c total clause space: 78.2603MB
10.09/10.13	c total #watches: 180244
19.19/19.21	c total #propagations: 4675890 / total #impl: 13622679 (eff. 0.343)
19.19/19.21	c #Conflicts:       4000 | #Learnt:       3006 | 0.000
19.19/19.21	c total clause space: 78.2603MB
19.19/19.21	c total #watches: 227841
29.29/29.33	c total #propagations: 6130579 / total #impl: 19681914 (eff. 0.311)
29.29/29.33	c GARBAGE COLLECT
29.29/29.33	c #Conflicts:       5000 | #Learnt:       2360 | 0.000
29.29/29.33	c total clause space: 78.2603MB
29.29/29.33	c total #watches: 209158
38.69/38.79	c total #propagations: 7526287 / total #impl: 27584459 (eff. 0.273)
38.69/38.79	c #Conflicts:       6000 | #Learnt:       3360 | 0.000
38.69/38.79	c total clause space: 127.173MB
38.69/38.79	c total #watches: 245448
50.59/50.64	c total #propagations: 9202468 / total #impl: 33294976 (eff. 0.276)
50.59/50.64	c GARBAGE COLLECT
50.59/50.64	c #Conflicts:       7000 | #Learnt:       2232 | 0.000
50.59/50.64	c total clause space: 127.173MB
50.59/50.64	c total #watches: 183568
62.48/62.53	c total #propagations: 10781047 / total #impl: 38694521 (eff. 0.279)
62.48/62.53	c #Conflicts:       8000 | #Learnt:       3232 | 0.000
62.48/62.53	c total clause space: 127.173MB
62.48/62.53	c total #watches: 222974
78.88/78.93	c total #propagations: 12453554 / total #impl: 44111015 (eff. 0.282)
78.88/78.93	c #Conflicts:       9000 | #Learnt:       4232 | 0.000
78.88/78.93	c total clause space: 127.173MB
78.88/78.93	c total #watches: 285100
102.87/102.97	c total #propagations: 13716191 / total #impl: 49677615 (eff. 0.276)
102.87/102.97	c GARBAGE COLLECT
102.87/102.97	c #Conflicts:      10000 | #Learnt:       2723 | 0.000
102.87/102.97	c total clause space: 127.173MB
102.87/102.97	c total #watches: 227283
113.68/113.72	c total #propagations: 15365234 / total #impl: 57869364 (eff. 0.266)
113.68/113.72	c #Conflicts:      11000 | #Learnt:       3723 | 0.000
113.68/113.72	c total clause space: 127.173MB
113.68/113.72	c total #watches: 282969
130.88/130.96	c total #propagations: 16976633 / total #impl: 63293239 (eff. 0.268)
130.88/130.96	c #Conflicts:      12000 | #Learnt:       4723 | 0.000
130.88/130.96	c total clause space: 127.173MB
130.88/130.96	c total #watches: 324077
144.18/144.28	c total #propagations: 18760183 / total #impl: 68656944 (eff. 0.273)
144.18/144.28	c #Conflicts:      13000 | #Learnt:       5723 | 0.000
144.18/144.28	c total clause space: 206.656MB
144.18/144.28	c total #watches: 357069
157.27/157.36	c total #propagations: 20816577 / total #impl: 73966446 (eff. 0.281)
157.27/157.36	c GARBAGE COLLECT
157.27/157.36	c #Conflicts:      14000 | #Learnt:       3851 | 0.000
157.27/157.36	c total clause space: 206.656MB
157.27/157.36	c total #watches: 283659
173.66/173.74	c total #propagations: 22365192 / total #impl: 79135730 (eff. 0.283)
173.66/173.74	c #Conflicts:      15000 | #Learnt:       4851 | 0.000
173.66/173.74	c total clause space: 206.656MB
173.66/173.74	c total #watches: 354173
188.07/188.18	c total #propagations: 23878060 / total #impl: 84502764 (eff. 0.283)
188.07/188.18	c #Conflicts:      16000 | #Learnt:       5851 | 0.000
188.07/188.18	c total clause space: 206.656MB
188.07/188.18	c total #watches: 412317
211.46/211.58	c total #propagations: 24676028 / total #impl: 89386348 (eff. 0.276)
211.46/211.58	c GARBAGE COLLECT
211.46/211.58	c #Conflicts:      17000 | #Learnt:       3663 | 0.000
211.46/211.58	c total clause space: 206.656MB
211.46/211.58	c total #watches: 315874
234.55/234.66	c total #propagations: 25983232 / total #impl: 95987004 (eff. 0.271)
234.55/234.66	c #Conflicts:      18000 | #Learnt:       4663 | 0.000
234.55/234.66	c total clause space: 206.656MB
234.55/234.66	c total #watches: 375775
272.34/272.47	c total #propagations: 27260364 / total #impl: 103955854 (eff. 0.262)
272.34/272.47	c #Conflicts:      19000 | #Learnt:       5663 | 0.000
272.34/272.47	c total clause space: 206.656MB
272.34/272.47	c total #watches: 441650
322.25/322.34	c total #propagations: 28694188 / total #impl: 115861386 (eff. 0.248)
322.25/322.34	c #Conflicts:      20000 | #Learnt:       6663 | 0.000
322.25/322.34	c total clause space: 206.656MB
322.25/322.34	c total #watches: 491691
355.44/355.58	c total #propagations: 30193223 / total #impl: 126371165 (eff. 0.239)
355.44/355.58	c GARBAGE COLLECT
355.44/355.58	c #Conflicts:      21000 | #Learnt:       4170 | 0.000
355.44/355.58	c total clause space: 206.656MB
355.44/355.58	c total #watches: 355538
396.63/396.73	c total #propagations: 31694926 / total #impl: 135849677 (eff. 0.233)
396.63/396.73	c #Conflicts:      22000 | #Learnt:       5170 | 0.000
396.63/396.73	c total clause space: 206.656MB
396.63/396.73	c total #watches: 394695
425.33/425.46	c total #propagations: 33650205 / total #impl: 145825991 (eff. 0.231)
425.33/425.46	c #Conflicts:      23000 | #Learnt:       6170 | 0.000
425.33/425.46	c total clause space: 206.656MB
425.33/425.46	c total #watches: 469120
462.92/463.09	c total #propagations: 34930565 / total #impl: 154661942 (eff. 0.226)
462.92/463.09	c #Conflicts:      24000 | #Learnt:       7170 | 0.000
462.92/463.09	c total clause space: 206.656MB
462.92/463.09	c total #watches: 526846
506.92/507.02	c total #propagations: 36918876 / total #impl: 161092932 (eff. 0.229)
506.92/507.02	c GARBAGE COLLECT
506.92/507.02	c #Conflicts:      25000 | #Learnt:       4362 | 0.000
506.92/507.02	c total clause space: 335.816MB
506.92/507.02	c total #watches: 379041
539.51/539.60	c total #propagations: 38371428 / total #impl: 169163629 (eff. 0.227)
539.51/539.60	c #Conflicts:      26000 | #Learnt:       5362 | 0.000
539.51/539.60	c total clause space: 335.816MB
539.51/539.60	c total #watches: 436243
569.41/569.56	c total #propagations: 39794032 / total #impl: 176039458 (eff. 0.226)
569.41/569.56	c #Conflicts:      27000 | #Learnt:       6362 | 0.000
569.41/569.56	c total clause space: 335.816MB
569.41/569.56	c total #watches: 479498
603.50/603.60	c total #propagations: 41020349 / total #impl: 184092317 (eff. 0.223)
603.50/603.60	c #Conflicts:      28000 | #Learnt:       7362 | 0.000
603.50/603.60	c total clause space: 335.816MB
603.50/603.60	c total #watches: 560988
641.79/641.99	c total #propagations: 42159448 / total #impl: 190017583 (eff. 0.222)
641.79/641.99	c GARBAGE COLLECT
641.79/641.99	c #Conflicts:      29000 | #Learnt:       4262 | 0.000
641.79/641.99	c total clause space: 335.816MB
641.79/641.99	c total #watches: 360786
672.79/672.99	c total #propagations: 43148679 / total #impl: 196895587 (eff. 0.219)
672.79/672.99	c #Conflicts:      30000 | #Learnt:       5262 | 0.000
672.79/672.99	c total clause space: 335.816MB
672.79/672.99	c total #watches: 438318
713.58/713.72	c total #propagations: 44594334 / total #impl: 204143816 (eff. 0.218)
713.58/713.72	c #Conflicts:      31000 | #Learnt:       6262 | 0.000
713.58/713.72	c total clause space: 335.816MB
713.58/713.72	c total #watches: 509259
787.17/787.32	c total #propagations: 46318173 / total #impl: 209621309 (eff. 0.221)
787.17/787.32	c #Conflicts:      32000 | #Learnt:       7262 | 0.000
787.17/787.32	c total clause space: 335.816MB
787.17/787.32	c total #watches: 550122
853.36/853.51	c total #propagations: 47969342 / total #impl: 219810792 (eff. 0.218)
853.36/853.51	c #Conflicts:      33000 | #Learnt:       8262 | 0.000
853.36/853.51	c total clause space: 335.816MB
853.36/853.51	c total #watches: 625827
894.27/894.46	c total #propagations: 49549782 / total #impl: 227332331 (eff. 0.218)
894.27/894.46	c GARBAGE COLLECT
894.27/894.46	c #Conflicts:      34000 | #Learnt:       4859 | 0.000
894.27/894.46	c total clause space: 335.816MB
894.27/894.46	c total #watches: 405954
925.25/925.49	c total #propagations: 51190086 / total #impl: 233236878 (eff. 0.219)
925.25/925.49	c #Conflicts:      35000 | #Learnt:       5859 | 0.000
925.25/925.49	c total clause space: 335.816MB
925.25/925.49	c total #watches: 483270
962.95/963.14	c total #propagations: 52941315 / total #impl: 239142808 (eff. 0.221)
962.95/963.14	c #Conflicts:      36000 | #Learnt:       6859 | 0.000
962.95/963.14	c total clause space: 335.816MB
962.95/963.14	c total #watches: 538998
991.74/991.97	c total #propagations: 54452810 / total #impl: 245430451 (eff. 0.222)
991.74/991.97	c #Conflicts:      37000 | #Learnt:       7859 | 0.000
991.74/991.97	c total clause space: 335.816MB
991.74/991.97	c total #watches: 588393
1029.63/1029.84	c total #propagations: 55436752 / total #impl: 250678995 (eff. 0.221)
1029.63/1029.84	c #Conflicts:      38000 | #Learnt:       8859 | 0.000
1029.63/1029.84	c total clause space: 335.816MB
1029.63/1029.84	c total #watches: 643942
1064.23/1064.49	c total #propagations: 56647481 / total #impl: 257467256 (eff. 0.220)
1064.23/1064.49	c GARBAGE COLLECT
1064.23/1064.49	c #Conflicts:      39000 | #Learnt:       5159 | 0.000
1064.23/1064.49	c total clause space: 335.816MB
1064.23/1064.49	c total #watches: 391905
1085.42/1085.69	c total #propagations: 58121271 / total #impl: 264799679 (eff. 0.219)
1085.42/1085.69	c #Conflicts:      40000 | #Learnt:       6159 | 0.000
1085.42/1085.69	c total clause space: 335.816MB
1085.42/1085.69	c total #watches: 446130
1098.42/1098.66	c total #propagations: 59240009 / total #impl: 271098830 (eff. 0.219)
1098.42/1098.66	c #Conflicts:      41000 | #Learnt:       7159 | 0.000
1098.42/1098.66	c total clause space: 335.816MB
1098.42/1098.66	c total #watches: 494525
1124.03/1124.29	c total #propagations: 60029496 / total #impl: 276026378 (eff. 0.217)
1124.03/1124.29	c #Conflicts:      42000 | #Learnt:       8159 | 0.000
1124.03/1124.29	c total clause space: 335.816MB
1124.03/1124.29	c total #watches: 543988
1167.02/1167.29	c total #propagations: 61209419 / total #impl: 282413188 (eff. 0.217)
1167.02/1167.29	c #Conflicts:      43000 | #Learnt:       9159 | 0.000
1167.02/1167.29	c total clause space: 335.816MB
1167.02/1167.29	c total #watches: 586474
1218.50/1218.73	c total #propagations: 62570940 / total #impl: 293237972 (eff. 0.213)
1218.50/1218.73	c GARBAGE COLLECT
1218.50/1218.73	c #Conflicts:      44000 | #Learnt:       5146 | 0.000
1218.50/1218.73	c total clause space: 335.816MB
1218.50/1218.73	c total #watches: 393855
1229.71/1229.93	c total #propagations: 64073664 / total #impl: 304676297 (eff. 0.210)
1229.71/1229.93	c #Conflicts:      45000 | #Learnt:       6146 | 0.000
1229.71/1229.93	c total clause space: 335.816MB
1229.71/1229.93	c total #watches: 439975
1261.20/1261.49	c total #propagations: 64794653 / total #impl: 309572769 (eff. 0.209)
1261.20/1261.49	c #Conflicts:      46000 | #Learnt:       7146 | 0.000
1261.20/1261.49	c total clause space: 335.816MB
1261.20/1261.49	c total #watches: 501876
1295.19/1295.49	c total #propagations: 66186772 / total #impl: 316596780 (eff. 0.209)
1295.19/1295.49	c #Conflicts:      47000 | #Learnt:       8146 | 0.000
1295.19/1295.49	c total clause space: 335.816MB
1295.19/1295.49	c total #watches: 537523
1315.69/1315.97	c total #propagations: 68355957 / total #impl: 323716327 (eff. 0.211)
1315.69/1315.97	c #Conflicts:      48000 | #Learnt:       9146 | 0.000
1315.69/1315.97	c total clause space: 335.816MB
1315.69/1315.97	c total #watches: 575062
1349.38/1349.69	c total #propagations: 70475348 / total #impl: 329418329 (eff. 0.214)
1349.38/1349.69	c #Conflicts:      49000 | #Learnt:      10146 | 0.000
1349.38/1349.69	c total clause space: 335.816MB
1349.38/1349.69	c total #watches: 622221
1377.48/1377.77	c total #propagations: 72350705 / total #impl: 335716115 (eff. 0.216)
1377.48/1377.77	c GARBAGE COLLECT
1377.48/1377.77	c #Conflicts:      50000 | #Learnt:       5842 | 0.000
1377.48/1377.77	c total clause space: 335.816MB
1377.48/1377.77	c total #watches: 421903
1401.67/1401.97	c total #propagations: 74461544 / total #impl: 341856884 (eff. 0.218)
1401.67/1401.97	c #Conflicts:      51000 | #Learnt:       6842 | 0.000
1401.67/1401.97	c total clause space: 335.816MB
1401.67/1401.97	c total #watches: 484373
1424.07/1424.32	c total #propagations: 75965534 / total #impl: 347662369 (eff. 0.219)
1424.07/1424.32	c #Conflicts:      52000 | #Learnt:       7842 | 0.000
1424.07/1424.32	c total clause space: 335.816MB
1424.07/1424.32	c total #watches: 520467
1442.87/1443.20	c total #propagations: 78173292 / total #impl: 353922159 (eff. 0.221)
1442.87/1443.20	c #Conflicts:      53000 | #Learnt:       8842 | 0.000
1442.87/1443.20	c total clause space: 335.816MB
1442.87/1443.20	c total #watches: 562159
1480.56/1480.89	c total #propagations: 80082710 / total #impl: 360320506 (eff. 0.222)
1480.56/1480.89	c #Conflicts:      54000 | #Learnt:       9842 | 0.000
1480.56/1480.89	c total clause space: 335.816MB
1480.56/1480.89	c total #watches: 606713
1534.15/1534.49	c total #propagations: 81897886 / total #impl: 367323841 (eff. 0.223)
1534.15/1534.49	c #Conflicts:      55000 | #Learnt:      10842 | 0.000
1534.15/1534.49	c total clause space: 335.816MB
1534.15/1534.49	c total #watches: 662028
1568.25/1568.56	c total #propagations: 83747468 / total #impl: 377141969 (eff. 0.222)
1568.25/1568.56	c GARBAGE COLLECT
1568.25/1568.56	c #Conflicts:      56000 | #Learnt:       6240 | 0.000
1568.25/1568.56	c total clause space: 335.816MB
1568.25/1568.56	c total #watches: 443022
1602.64/1602.92	c total #propagations: 85471002 / total #impl: 383033989 (eff. 0.223)
1602.64/1602.92	c #Conflicts:      57000 | #Learnt:       7240 | 0.000
1602.64/1602.92	c total clause space: 335.816MB
1602.64/1602.92	c total #watches: 514074
1654.24/1654.51	c total #propagations: 86878586 / total #impl: 388790706 (eff. 0.223)
1654.24/1654.51	c #Conflicts:      58000 | #Learnt:       8240 | 0.000
1654.24/1654.51	c total clause space: 335.816MB
1654.24/1654.51	c total #watches: 596396
1716.23/1716.55	c total #propagations: 88548911 / total #impl: 395811302 (eff. 0.224)
1716.23/1716.55	c #Conflicts:      59000 | #Learnt:       9240 | 0.000
1716.23/1716.55	c total clause space: 335.816MB
1716.23/1716.55	c total #watches: 679475
1765.62/1765.95	c total #propagations: 89808850 / total #impl: 404444482 (eff. 0.222)
1765.62/1765.95	c #Conflicts:      60000 | #Learnt:      10240 | 0.000
1765.62/1765.95	c total clause space: 335.816MB
1765.62/1765.95	c total #watches: 735881

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-4098114-1466117642/watcher-4098114-1466117642 -o /tmp/evaluation-result-4098114-1466117642/solver-4098114-1466117642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466112168-27617 --watchdog 1960 --input HOME/instance-4098114-1466117642.opb ./cdcl-cuttingplanes-release 

pid=29651
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.21 2.20 2.16 3/176 29654
/proc/meminfo: memFree=30585784/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 13813423 29802496 5260 33554432000 4194304 6199737 140735154668320 140735181959320 4209490 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 7276 5260 122 490 0 6777 0

[startup+0.100208 s]
/proc/loadavg: 2.21 2.20 2.16 3/176 29654
/proc/meminfo: memFree=30585784/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=36312 CPUtime=0.09 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 515 0 0 0 9 0 0 0 20 0 1 0 13813423 37183488 7468 33554432000 4194304 6199737 140735154668320 140735181959320 4207822 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 9078 7468 135 490 0 8579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36312

[startup+0.200341 s]
/proc/loadavg: 2.21 2.20 2.16 3/176 29654
/proc/meminfo: memFree=30585784/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=40864 CPUtime=0.19 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 2223 0 0 0 19 0 0 0 20 0 1 0 13813423 41844736 8964 33554432000 4194304 6199737 140735154668320 140735181959320 5407536 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 10216 8964 135 490 0 9717 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40864

[startup+0.300309 s]
/proc/loadavg: 2.21 2.20 2.16 3/176 29654
/proc/meminfo: memFree=30585784/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=48472 CPUtime=0.29 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 3237 0 0 0 28 1 0 0 20 0 1 0 13813423 49635328 10106 33554432000 4194304 6199737 140735154668320 140735181959320 5407536 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 12118 10106 135 490 0 11619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48472

[startup+0.700238 s]
/proc/loadavg: 2.21 2.20 2.16 3/176 29654
/proc/meminfo: memFree=30585784/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=62308 CPUtime=0.69 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 4121 0 0 0 68 1 0 0 20 0 1 0 13813423 63803392 12934 33554432000 4194304 6199737 140735154668320 140735154667256 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 15577 12934 139 490 0 15078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62308

[startup+1.50022 s]
/proc/loadavg: 2.21 2.20 2.16 3/177 29655
/proc/meminfo: memFree=30529924/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=81812 CPUtime=1.49 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 4659 0 0 0 148 1 0 0 20 0 1 0 13813423 83775488 14875 33554432000 4194304 6199737 140735154668320 140735154667256 4213836 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 20453 14875 139 490 0 19954 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81812

[startup+3.10022 s]
/proc/loadavg: 2.21 2.20 2.16 3/177 29655
/proc/meminfo: memFree=30519664/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=82420 CPUtime=3.09 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 4844 0 0 0 308 1 0 0 20 0 1 0 13813423 84398080 18126 33554432000 4194304 6199737 140735154668320 140735154667256 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 20605 18126 155 490 0 20106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82420

[startup+6.3002 s]
/proc/loadavg: 2.19 2.20 2.15 3/177 29655
/proc/meminfo: memFree=30503340/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=113788 CPUtime=6.29 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 6136 0 0 0 628 1 0 0 20 0 1 0 13813423 116518912 20571 33554432000 4194304 6199737 140735154668320 140735154667432 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 28447 20571 155 490 0 27948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113788

[startup+12.7002 s]
/proc/loadavg: 2.18 2.20 2.15 3/177 29655
/proc/meminfo: memFree=30497936/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=114520 CPUtime=12.69 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 6463 0 0 0 1268 1 0 0 20 0 1 0 13813423 117268480 21908 33554432000 4194304 6199737 140735154668320 140735154667256 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 28630 21908 161 490 0 28131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114520

[startup+25.5003 s]
/proc/loadavg: 2.21 2.20 2.16 3/177 29655
/proc/meminfo: memFree=30468548/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=115436 CPUtime=25.49 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 6748 0 0 0 2547 2 0 0 20 0 1 0 13813423 118206464 27810 33554432000 4194304 6199737 140735154668320 140735154667256 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 28859 27810 161 490 0 28360 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115436

[startup+51.1004 s]
/proc/loadavg: 2.28 2.22 2.16 3/177 29655
/proc/meminfo: memFree=30444968/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=167144 CPUtime=51.08 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 7768 0 0 0 5106 2 0 0 20 0 1 0 13813423 171155456 33620 33554432000 4194304 6199737 140735154668320 140735154666968 4213296 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 41786 33620 161 490 0 41287 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 167144

[startup+102.3 s]
/proc/loadavg: 2.30 2.23 2.17 3/177 29657
/proc/meminfo: memFree=30418116/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=169008 CPUtime=102.28 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 8388 0 0 0 10226 2 0 0 20 0 1 0 13813423 173064192 36750 33554432000 4194304 6199737 140735154668320 140735154667256 4213296 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 42252 36750 161 490 0 41753 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 169008

[startup+162.3 s]
/proc/loadavg: 2.22 2.21 2.17 3/177 29658
/proc/meminfo: memFree=30389820/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=252416 CPUtime=162.27 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 9634 0 0 0 16224 3 0 0 20 0 1 0 13813423 258473984 43785 33554432000 4194304 6199737 140735154668320 140735154667256 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 63104 43785 161 490 0 62605 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 252416

[startup+222.307 s]
/proc/loadavg: 2.13 2.19 2.16 3/177 29659
/proc/meminfo: memFree=30381072/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=254304 CPUtime=222.26 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 10265 0 0 0 22223 3 0 0 20 0 1 0 13813423 260407296 45912 33554432000 4194304 6199737 140735154668320 140735154667256 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 63576 45912 161 490 0 63077 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 254304

[startup+282.3 s]
/proc/loadavg: 2.09 2.17 2.15 3/177 29660
/proc/meminfo: memFree=30368848/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=255628 CPUtime=282.24 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 10693 0 0 0 28221 3 0 0 20 0 1 0 13813423 261763072 48895 33554432000 4194304 6199737 140735154668320 140735154667256 4213298 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 63907 48895 161 490 0 63408 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 255628

[startup+342.3 s]
/proc/loadavg: 2.25 2.19 2.16 3/177 29661
/proc/meminfo: memFree=30326580/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=256460 CPUtime=342.24 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 10922 0 0 0 34220 4 0 0 20 0 1 0 13813423 262615040 57300 33554432000 4194304 6199737 140735154668320 140735154667256 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 64115 57300 161 490 0 63616 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 256460

[startup+402.3 s]
/proc/loadavg: 2.22 2.19 2.16 3/178 29666
/proc/meminfo: memFree=30325832/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=256556 CPUtime=402.23 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 11003 0 0 0 40219 4 0 0 20 0 1 0 13813423 262713344 57381 33554432000 4194304 6199737 140735154668320 140735154667432 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 64139 57381 161 490 0 63640 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 256556

[startup+462.3 s]
/proc/loadavg: 2.30 2.21 2.17 3/178 29690
/proc/meminfo: memFree=30308388/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=257132 CPUtime=462.22 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 11152 0 0 0 46218 4 0 0 20 0 1 0 13813423 263303168 61618 33554432000 4194304 6199737 140735154668320 140735154667256 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 64283 61618 161 490 0 63784 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 257132

[startup+522.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 29691
/proc/meminfo: memFree=30297284/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=389776 CPUtime=522.22 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 11805 0 0 0 52217 5 0 0 20 0 1 0 13813423 399130624 63999 33554432000 4194304 6199737 140735154668320 140735154667432 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 97444 63999 161 490 0 96945 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 389776

[startup+582.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/177 29692
/proc/meminfo: memFree=30296536/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=390160 CPUtime=582.2 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 11915 0 0 0 58215 5 0 0 20 0 1 0 13813423 399523840 64109 33554432000 4194304 6199737 140735154668320 140735154667256 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 97540 64109 161 490 0 97041 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 390160


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 29699
/proc/meminfo: memFree=30242632/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=392604 CPUtime=942.15 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 12769 0 0 0 94209 6 0 0 20 0 1 0 13813423 402026496 73612 33554432000 4194304 6199737 140735154668320 140735154667432 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98151 73612 161 490 0 97652 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 392604

[startup+1002.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/178 29704
/proc/meminfo: memFree=30241628/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=393096 CPUtime=1002.14 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 12901 0 0 0 100208 6 0 0 20 0 1 0 13813423 402530304 73744 33554432000 4194304 6199737 140735154668320 140735154667256 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98274 73744 161 490 0 97775 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 393096

[startup+1062.3 s]
/proc/loadavg: 2.29 2.22 2.18 3/177 29705
/proc/meminfo: memFree=30236544/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=394028 CPUtime=1062.13 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13149 0 0 0 106207 6 0 0 20 0 1 0 13813423 403484672 73992 33554432000 4194304 6199737 140735154668320 140735154667016 4213296 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98507 73992 161 490 0 98008 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 394028

[startup+1122.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 29706
/proc/meminfo: memFree=30235668/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=394616 CPUtime=1122.12 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13318 0 0 0 112206 6 0 0 20 0 1 0 13813423 404086784 74161 33554432000 4194304 6199737 140735154668320 140735154667256 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98654 74161 161 490 0 98155 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 394616

[startup+1182.3 s]
/proc/loadavg: 2.07 2.16 2.17 3/177 29707
/proc/meminfo: memFree=30230700/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=395296 CPUtime=1182.11 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13478 0 0 0 118205 6 0 0 20 0 1 0 13813423 404783104 74321 33554432000 4194304 6199737 140735154668320 140735154666968 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98824 74321 161 490 0 98325 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 395296

[startup+1242.3 s]
/proc/loadavg: 1.50 1.99 2.11 2/170 29738
/proc/meminfo: memFree=30436584/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=395896 CPUtime=1242.1 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13680 0 0 0 124204 6 0 0 20 0 1 0 13813423 405397504 74523 33554432000 4194304 6199737 140735154668320 140735154667432 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 98974 74523 161 490 0 98475 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 395896

[startup+1302.3 s]
/proc/loadavg: 1.25 1.82 2.04 2/170 29740
/proc/meminfo: memFree=30436324/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=396096 CPUtime=1302.09 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13730 0 0 0 130203 6 0 0 20 0 1 0 13813423 405602304 74573 33554432000 4194304 6199737 140735154668320 140735154667432 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99024 74573 161 490 0 98525 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 396096

[startup+1362.3 s]
/proc/loadavg: 1.09 1.67 1.97 2/170 29741
/proc/meminfo: memFree=30436068/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=396812 CPUtime=1362.08 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13875 0 0 0 136202 6 0 0 20 0 1 0 13813423 406335488 74718 33554432000 4194304 6199737 140735154668320 140735154667256 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99203 74718 161 490 0 98704 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 396812

[startup+1422.3 s]
/proc/loadavg: 1.07 1.56 1.91 2/170 29742
/proc/meminfo: memFree=30435820/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397188 CPUtime=1422.08 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13922 0 0 0 142202 6 0 0 20 0 1 0 13813423 406720512 74765 33554432000 4194304 6199737 140735154668320 140735154667432 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99297 74765 161 490 0 98798 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 397188

[startup+1482.3 s]
/proc/loadavg: 1.12 1.49 1.87 2/170 29743
/proc/meminfo: memFree=30435808/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397188 CPUtime=1482.06 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13936 0 0 0 148200 6 0 0 20 0 1 0 13813423 406720512 74779 33554432000 4194304 6199737 140735154668320 140735154667432 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99297 74779 161 490 0 98798 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 397188

[startup+1542.31 s]
/proc/loadavg: 1.04 1.39 1.81 2/170 29744
/proc/meminfo: memFree=30435424/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397372 CPUtime=1542.06 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 13995 0 0 0 154200 6 0 0 20 0 1 0 13813423 406908928 74838 33554432000 4194304 6199737 140735154668320 140735154667432 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99343 74838 161 490 0 98844 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 397372

[startup+1602.3 s]
/proc/loadavg: 1.15 1.35 1.77 2/171 29749
/proc/meminfo: memFree=30435508/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397500 CPUtime=1602.04 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14031 0 0 0 160198 6 0 0 20 0 1 0 13813423 407040000 74874 33554432000 4194304 6199737 140735154668320 140735154667256 4213296 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99375 74874 161 490 0 98876 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 397500

[startup+1662.3 s]
/proc/loadavg: 1.11 1.30 1.72 2/170 29750
/proc/meminfo: memFree=30435300/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397500 CPUtime=1662.04 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14041 0 0 0 166198 6 0 0 20 0 1 0 13813423 407040000 74903 33554432000 4194304 6199737 140735154668320 140735154667432 4213296 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99375 74903 161 490 0 98876 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 397500

[startup+1722.3 s]
/proc/loadavg: 1.09 1.26 1.68 2/170 29751
/proc/meminfo: memFree=30434788/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=397816 CPUtime=1722.03 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14124 0 0 0 172197 6 0 0 20 0 1 0 13813423 407363584 74986 33554432000 4194304 6199737 140735154668320 140735154667432 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99454 74986 161 490 0 98955 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 397816

[startup+1782.3 s]
/proc/loadavg: 1.20 1.26 1.65 2/170 29752
/proc/meminfo: memFree=30413560/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=398412 CPUtime=1782.01 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14275 0 0 0 178195 6 0 0 20 0 1 0 13813423 407973888 80247 33554432000 4194304 6199737 140735154668320 140735154667256 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99603 80247 161 490 0 99104 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 398412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.14 1.24 1.63 2/170 29753
/proc/meminfo: memFree=30411256/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=398672 CPUtime=1800.02 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14321 0 0 0 179995 7 0 0 20 0 1 0 13813423 408240128 80804 33554432000 4194304 6199737 140735154668320 140735154667016 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99668 80804 161 490 0 99169 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398672

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

[startup+1800.3 s]
/proc/loadavg: 1.14 1.24 1.63 2/170 29753
/proc/meminfo: memFree=30411256/32872528 swapFree=1073984/1155744
[pid=29654] ppid=29651 vsize=398672 CPUtime=1800.02 cores=0,2,4,6
/proc/29654/stat : 29654 (cdcl-cuttingpla) R 29651 29654 27601 0 -1 4202496 14321 0 0 0 179995 7 0 0 20 0 1 0 13813423 408240128 80804 33554432000 4194304 6199737 140735154668320 140735154667016 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/29654/statm: 99668 80804 161 490 0 99169 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 398672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.96
CPU system time (s): 0.071989
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 398672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.071989
maximum resident set size= 323216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14321
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= 18
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40833 second user time and 6.81396 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-17 00:54:02
IDJOB=4098114
IDBENCH=107853
IDSOLVER=2548
FILE ID=node114/4098114-1466117642
RUNJOBID= node114-1466112168-27617
PBS_JOBID= 19904125
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_15.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098114-1466117642/watcher-4098114-1466117642 -o /tmp/evaluation-result-4098114-1466117642/solver-4098114-1466117642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466112168-27617 --watchdog 1960 --input HOME/instance-4098114-1466117642.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= c226793b4129901062d8cb1e10a179c8
RANDOM SEED=723734569

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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:        30586536 kB
Buffers:           54100 kB
Cached:           144596 kB
SwapCached:        80112 kB
Active:           232028 kB
Inactive:         194724 kB
Active(anon):     150996 kB
Inactive(anon):    79672 kB
Active(file):      81032 kB
Inactive(file):   115052 kB
Unevictable:     1155744 kB
Mlocked:         1073984 kB
SwapTotal:      67108856 kB
SwapFree:       67022276 kB
Dirty:              6868 kB
Writeback:             0 kB
AnonPages:       1305408 kB
Mapped:             9412 kB
Shmem:                 0 kB
Slab:             571072 kB
SReclaimable:      14644 kB
SUnreclaim:       556428 kB
KernelStack:        1464 kB
PageTables:         6416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1443448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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 node114 at 2016-06-17 01:24:02