Trace number 4101808

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.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
MD5SUM2ee0b4368a56ab3fadfc3737456bcd30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark756
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 799
Optimality of the best value was proved NO
Number of variables16224
Total number of constraints1488
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 10368
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 532440
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532440
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= 16224 #constraint= 1488
3.59/3.61	c #Conflicts:       1000 | #Learnt:        988 | 2.594
3.59/3.61	c total clause space: 29.637MB
3.59/3.61	c total #watches: 471059
14.48/14.53	c total #propagations: 1574100 / total #impl: 16736620 (eff. 0.094)
14.48/14.53	c #Conflicts:       2000 | #Learnt:       1987 | 1.323
14.48/14.53	c total clause space: 48.1602MB
14.48/14.53	c total #watches: 542643
21.99/22.10	c total #propagations: 5751321 / total #impl: 33261920 (eff. 0.173)
21.99/22.10	c GC COLLECT
21.99/22.10	c #Conflicts:       3000 | #Learnt:       2002 | 1.462
21.99/22.10	c total clause space: 48.1602MB
21.99/22.10	c total #watches: 453463
34.09/34.19	c total #propagations: 8215974 / total #impl: 50753749 (eff. 0.162)
34.09/34.19	c #Conflicts:       4000 | #Learnt:       3002 | 1.179
34.09/34.19	c total clause space: 78.2603MB
34.09/34.19	c total #watches: 552430
51.88/51.96	c total #propagations: 11066414 / total #impl: 69282014 (eff. 0.160)
51.88/51.96	c GC COLLECT
51.88/51.96	c #Conflicts:       5000 | #Learnt:       2365 | 1.091
51.88/51.96	c total clause space: 78.2603MB
51.88/51.96	c total #watches: 461875
65.78/65.87	c total #propagations: 13238508 / total #impl: 95635333 (eff. 0.138)
65.78/65.87	c #Conflicts:       6000 | #Learnt:       3365 | 0.948
65.78/65.87	c total clause space: 127.173MB
65.78/65.87	c total #watches: 593467
79.88/79.98	c total #propagations: 15037510 / total #impl: 126104575 (eff. 0.119)
79.88/79.98	c GC COLLECT
79.88/79.98	c #Conflicts:       7000 | #Learnt:       2237 | 1.085
79.88/79.98	c total clause space: 127.173MB
79.88/79.98	c total #watches: 539170
89.19/89.23	c total #propagations: 15165790 / total #impl: 134097421 (eff. 0.113)
89.19/89.23	c #Conflicts:       8000 | #Learnt:       3237 | 0.950
89.19/89.23	c total clause space: 127.173MB
89.19/89.23	c total #watches: 588297
103.08/103.11	c total #propagations: 15175522 / total #impl: 139899308 (eff. 0.108)
103.08/103.11	c #Conflicts:       9000 | #Learnt:       4236 | 1.262
103.08/103.11	c total clause space: 127.173MB
103.08/103.11	c total #watches: 859730
117.17/117.22	c total #propagations: 17612894 / total #impl: 159204874 (eff. 0.111)
117.17/117.22	c GC COLLECT
117.17/117.22	c #Conflicts:      10000 | #Learnt:       2715 | 1.336
117.17/117.22	c total clause space: 206.656MB
117.17/117.22	c total #watches: 727292
127.08/127.14	c total #propagations: 18748359 / total #impl: 171458545 (eff. 0.109)
127.08/127.14	c #Conflicts:      11000 | #Learnt:       3713 | 2.002
127.08/127.14	c total clause space: 206.656MB
127.08/127.14	c total #watches: 948114
134.57/134.63	c total #propagations: 22330883 / total #impl: 184312638 (eff. 0.121)
134.57/134.63	c #Conflicts:      12000 | #Learnt:       4713 | 2.001
134.57/134.63	c total clause space: 206.656MB
134.57/134.63	c total #watches: 1025770
142.56/142.62	c total #propagations: 25344839 / total #impl: 198863770 (eff. 0.127)
142.56/142.62	c #Conflicts:      13000 | #Learnt:       5713 | 1.882
142.56/142.62	c total clause space: 206.656MB
142.56/142.62	c total #watches: 1130459
148.27/148.32	c total #propagations: 29205493 / total #impl: 211517578 (eff. 0.138)
148.27/148.32	c GC COLLECT
148.27/148.32	c #Conflicts:      14000 | #Learnt:       3850 | 1.861
148.27/148.32	c total clause space: 206.656MB
148.27/148.32	c total #watches: 953749
151.96/152.09	c total #propagations: 31162423 / total #impl: 223036071 (eff. 0.140)
151.96/152.09	c #Conflicts:      15000 | #Learnt:       4850 | 1.739
151.96/152.09	c total clause space: 206.656MB
151.96/152.09	c total #watches: 1227123
180.76/180.88	c total #propagations: 31222422 / total #impl: 231626450 (eff. 0.135)
180.76/180.88	c #Conflicts:      16000 | #Learnt:       5850 | 1.636
180.76/180.88	c total clause space: 206.656MB
180.76/180.88	c total #watches: 1362767
194.97/195.00	c total #propagations: 31302320 / total #impl: 381725244 (eff. 0.082)
194.97/195.00	c GC COLLECT
194.97/195.00	c #Conflicts:      17000 | #Learnt:       3681 | 2.005
194.97/195.00	c total clause space: 206.656MB
194.97/195.00	c total #watches: 1341033
212.66/212.75	c total #propagations: 31390438 / total #impl: 437494353 (eff. 0.072)
212.66/212.75	c #Conflicts:      18000 | #Learnt:       4681 | 1.895
212.66/212.75	c total clause space: 206.656MB
212.66/212.75	c total #watches: 1453314
234.06/234.14	c total #propagations: 31536308 / total #impl: 506318117 (eff. 0.062)
234.06/234.14	c #Conflicts:      19000 | #Learnt:       5681 | 1.795
234.06/234.14	c total clause space: 206.656MB
234.06/234.14	c total #watches: 1512455
251.25/251.32	c total #propagations: 31785535 / total #impl: 584127763 (eff. 0.054)
251.25/251.32	c #Conflicts:      20000 | #Learnt:       6681 | 1.742
251.25/251.32	c total clause space: 206.656MB
251.25/251.32	c total #watches: 1866925
267.45/267.52	c total #propagations: 33252417 / total #impl: 625821215 (eff. 0.053)
267.45/267.52	c GC COLLECT
267.45/267.52	c #Conflicts:      21000 | #Learnt:       4193 | 1.825
267.45/267.52	c total clause space: 206.656MB
267.45/267.52	c total #watches: 1517325
283.15/283.21	c total #propagations: 34900696 / total #impl: 641201696 (eff. 0.054)
283.15/283.21	c #Conflicts:      22000 | #Learnt:       5193 | 2.367
283.15/283.21	c total clause space: 206.656MB
283.15/283.21	c total #watches: 1685580
304.75/304.84	c total #propagations: 36491377 / total #impl: 658865517 (eff. 0.055)
304.75/304.84	c #Conflicts:      23000 | #Learnt:       6191 | 2.350
304.75/304.84	c total clause space: 206.656MB
304.75/304.84	c total #watches: 1799483
320.05/320.11	c total #propagations: 39050760 / total #impl: 674160117 (eff. 0.058)
320.05/320.11	c #Conflicts:      24000 | #Learnt:       7191 | 2.437
320.05/320.11	c total clause space: 206.656MB
320.05/320.11	c total #watches: 1908261
329.95/330.09	c total #propagations: 40971114 / total #impl: 689790410 (eff. 0.059)
329.95/330.09	c GC COLLECT
329.95/330.09	c #Conflicts:      25000 | #Learnt:       4391 | 2.354
329.95/330.09	c total clause space: 206.656MB
329.95/330.09	c total #watches: 1162916
336.14/336.24	c total #propagations: 44165044 / total #impl: 700631385 (eff. 0.063)
336.14/336.24	c #Conflicts:      26000 | #Learnt:       5391 | 2.558
336.14/336.24	c total clause space: 206.656MB
336.14/336.24	c total #watches: 1281651
345.04/345.19	c total #propagations: 48055537 / total #impl: 714797460 (eff. 0.067)
345.04/345.19	c #Conflicts:      27000 | #Learnt:       6391 | 2.489
345.04/345.19	c total clause space: 206.656MB
345.04/345.19	c total #watches: 1393421
355.64/355.71	c total #propagations: 51985067 / total #impl: 728064448 (eff. 0.071)
355.64/355.71	c #Conflicts:      28000 | #Learnt:       7391 | 2.444
355.64/355.71	c total clause space: 206.656MB
355.64/355.71	c total #watches: 1549186
368.54/368.63	c total #propagations: 54198308 / total #impl: 744351169 (eff. 0.073)
368.54/368.63	c GC COLLECT
368.54/368.63	c #Conflicts:      29000 | #Learnt:       4295 | 2.503
368.54/368.63	c total clause space: 206.656MB
368.54/368.63	c total #watches: 1181132
376.43/376.51	c total #propagations: 55970003 / total #impl: 759850805 (eff. 0.074)
376.43/376.51	c #Conflicts:      30000 | #Learnt:       5295 | 2.518
376.43/376.51	c total clause space: 206.656MB
376.43/376.51	c total #watches: 1355806
382.84/382.98	c total #propagations: 58660554 / total #impl: 770372539 (eff. 0.076)
382.84/382.98	c #Conflicts:      31000 | #Learnt:       6294 | 2.721
382.84/382.98	c total clause space: 206.656MB
382.84/382.98	c total #watches: 1494353
389.54/389.69	c total #propagations: 59818073 / total #impl: 777316567 (eff. 0.077)
389.54/389.69	c #Conflicts:      32000 | #Learnt:       7293 | 2.786
389.54/389.69	c total clause space: 206.656MB
389.54/389.69	c total #watches: 1618213
401.63/401.77	c total #propagations: 62438296 / total #impl: 787993045 (eff. 0.079)
401.63/401.77	c #Conflicts:      33000 | #Learnt:       8293 | 2.748
401.63/401.77	c total clause space: 206.656MB
401.63/401.77	c total #watches: 1669288
409.93/410.00	c total #propagations: 66273482 / total #impl: 803818960 (eff. 0.082)
409.93/410.00	c GC COLLECT
409.93/410.00	c #Conflicts:      34000 | #Learnt:       4903 | 2.692
409.93/410.00	c total clause space: 206.656MB
409.93/410.00	c total #watches: 1242281
418.93/419.05	c total #propagations: 66915576 / total #impl: 817382466 (eff. 0.082)
418.93/419.05	c #Conflicts:      35000 | #Learnt:       5903 | 2.681
418.93/419.05	c total clause space: 206.656MB
418.93/419.05	c total #watches: 1401668
430.13/430.20	c total #propagations: 68544753 / total #impl: 857972056 (eff. 0.080)
430.13/430.20	c #Conflicts:      36000 | #Learnt:       6903 | 2.615
430.13/430.20	c total clause space: 206.656MB
430.13/430.20	c total #watches: 1484959
447.82/447.97	c total #propagations: 71687506 / total #impl: 875750288 (eff. 0.082)
447.82/447.97	c #Conflicts:      37000 | #Learnt:       7903 | 2.545
447.82/447.97	c total clause space: 206.656MB
447.82/447.97	c total #watches: 1547151
470.52/470.63	c total #propagations: 74733499 / total #impl: 894902608 (eff. 0.084)
470.52/470.63	c #Conflicts:      38000 | #Learnt:       8903 | 2.479
470.52/470.63	c total clause space: 335.816MB
470.52/470.63	c total #watches: 1625898
488.42/488.57	c total #propagations: 78765363 / total #impl: 933388875 (eff. 0.084)
488.42/488.57	c GC COLLECT
488.42/488.57	c #Conflicts:      39000 | #Learnt:       5210 | 2.450
488.42/488.57	c total clause space: 335.816MB
488.42/488.57	c total #watches: 1001300
497.51/497.69	c total #propagations: 82692053 / total #impl: 956380135 (eff. 0.086)
497.51/497.69	c #Conflicts:      40000 | #Learnt:       6210 | 2.389
497.51/497.69	c total clause space: 335.816MB
497.51/497.69	c total #watches: 1049665
510.01/510.10	c total #propagations: 86671378 / total #impl: 968407386 (eff. 0.089)
510.01/510.10	c #Conflicts:      41000 | #Learnt:       7210 | 2.331
510.01/510.10	c total clause space: 335.816MB
510.01/510.10	c total #watches: 1079594
526.01/526.15	c total #propagations: 90903799 / total #impl: 979865504 (eff. 0.093)
526.01/526.15	c #Conflicts:      42000 | #Learnt:       8210 | 2.298
526.01/526.15	c total clause space: 335.816MB
526.01/526.15	c total #watches: 1111633
537.51/537.65	c total #propagations: 95020823 / total #impl: 992647626 (eff. 0.096)
537.51/537.65	c #Conflicts:      43000 | #Learnt:       9210 | 2.245
537.51/537.65	c total clause space: 335.816MB
537.51/537.65	c total #watches: 1143448
552.11/552.26	c total #propagations: 98736910 / total #impl: 1004853909 (eff. 0.098)
552.11/552.26	c GC COLLECT
552.11/552.26	c #Conflicts:      44000 | #Learnt:       5201 | 2.196
552.11/552.26	c total clause space: 335.816MB
552.11/552.26	c total #watches: 593423
558.30/558.47	c total #propagations: 102092224 / total #impl: 1016790433 (eff. 0.100)
558.30/558.47	c #Conflicts:      45000 | #Learnt:       6201 | 2.147
558.30/558.47	c total clause space: 335.816MB
558.30/558.47	c total #watches: 628887
566.41/566.51	c total #propagations: 105787454 / total #impl: 1029331795 (eff. 0.103)
566.41/566.51	c #Conflicts:      46000 | #Learnt:       7201 | 2.351
566.41/566.51	c total clause space: 335.816MB
566.41/566.51	c total #watches: 747749
574.00/574.11	c total #propagations: 107695856 / total #impl: 1054421680 (eff. 0.102)
574.00/574.11	c #Conflicts:      47000 | #Learnt:       8200 | 2.544
574.00/574.11	c total clause space: 335.816MB
574.00/574.11	c total #watches: 921684
576.30/576.41	c total #propagations: 108840442 / total #impl: 1065552749 (eff. 0.102)
576.30/576.41	c #Conflicts:      48000 | #Learnt:       9196 | 2.543
576.30/576.41	c total clause space: 335.816MB
576.30/576.41	c total #watches: 994881
587.30/587.42	c total #propagations: 108908476 / total #impl: 1069857381 (eff. 0.102)
587.30/587.42	c #Conflicts:      49000 | #Learnt:      10196 | 2.567
587.30/587.42	c total clause space: 335.816MB
587.30/587.42	c total #watches: 1208036
595.20/595.30	c total #propagations: 112102245 / total #impl: 1084060110 (eff. 0.103)
595.20/595.30	c GC COLLECT
595.20/595.30	c #Conflicts:      50000 | #Learnt:       5893 | 2.560
595.20/595.30	c total clause space: 335.816MB
595.20/595.30	c total #watches: 1020426
604.40/604.58	c total #propagations: 115577493 / total #impl: 1092881522 (eff. 0.106)
604.40/604.58	c #Conflicts:      51000 | #Learnt:       6893 | 2.512
604.40/604.58	c total clause space: 335.816MB
604.40/604.58	c total #watches: 1107333
612.80/612.92	c total #propagations: 117505106 / total #impl: 1106991151 (eff. 0.106)
612.80/612.92	c #Conflicts:      52000 | #Learnt:       7893 | 2.465
612.80/612.92	c total clause space: 335.816MB
612.80/612.92	c total #watches: 1179908
619.20/619.37	c total #propagations: 119444164 / total #impl: 1116496127 (eff. 0.107)
619.20/619.37	c #Conflicts:      53000 | #Learnt:       8893 | 2.424
619.20/619.37	c total clause space: 335.816MB
619.20/619.37	c total #watches: 1253490
633.80/633.93	c total #propagations: 122850128 / total #impl: 1123440240 (eff. 0.109)
633.80/633.93	c #Conflicts:      54000 | #Learnt:       9893 | 2.470
633.80/633.93	c total clause space: 335.816MB
633.80/633.93	c total #watches: 1352706
651.20/651.36	c total #propagations: 126254837 / total #impl: 1135294036 (eff. 0.111)
651.20/651.36	c #Conflicts:      55000 | #Learnt:      10893 | 2.462
651.20/651.36	c total clause space: 335.816MB
651.20/651.36	c total #watches: 1465107
660.99/661.13	c total #propagations: 127937671 / total #impl: 1146932952 (eff. 0.112)
660.99/661.13	c GC COLLECT
660.99/661.13	c #Conflicts:      56000 | #Learnt:       6294 | 2.425
660.99/661.13	c total clause space: 335.816MB
660.99/661.13	c total #watches: 1141143
674.39/674.58	c total #propagations: 131711421 / total #impl: 1158209800 (eff. 0.114)
674.39/674.58	c #Conflicts:      57000 | #Learnt:       7294 | 2.387
674.39/674.58	c total clause space: 335.816MB
674.39/674.58	c total #watches: 1190216
686.89/687.03	c total #propagations: 134896831 / total #impl: 1167577053 (eff. 0.116)
686.89/687.03	c #Conflicts:      58000 | #Learnt:       8294 | 2.347
686.89/687.03	c total clause space: 335.816MB
686.89/687.03	c total #watches: 1260430
696.99/697.12	c total #propagations: 137832809 / total #impl: 1178633490 (eff. 0.117)
696.99/697.12	c #Conflicts:      59000 | #Learnt:       9293 | 2.376
696.99/697.12	c total clause space: 335.816MB
696.99/697.12	c total #watches: 1344340
705.38/705.51	c total #propagations: 139403785 / total #impl: 1186696733 (eff. 0.117)
705.38/705.51	c #Conflicts:      60000 | #Learnt:      10293 | 2.346
705.38/705.51	c total clause space: 335.816MB
705.38/705.51	c total #watches: 1518350
716.38/716.51	c total #propagations: 139602028 / total #impl: 1202645685 (eff. 0.116)
716.38/716.51	c #Conflicts:      61000 | #Learnt:      11293 | 2.340
716.38/716.51	c total clause space: 335.816MB
716.38/716.51	c total #watches: 1657181
728.78/728.99	c total #propagations: 140083214 / total #impl: 1216431904 (eff. 0.115)
728.78/728.99	c GC COLLECT
728.78/728.99	c #Conflicts:      62000 | #Learnt:       6398 | 2.495
728.78/728.99	c total clause space: 335.816MB
728.78/728.99	c total #watches: 1148903
744.78/744.92	c total #propagations: 143124406 / total #impl: 1244374641 (eff. 0.115)
744.78/744.92	c #Conflicts:      63000 | #Learnt:       7398 | 2.588
744.78/744.92	c total clause space: 335.816MB
744.78/744.92	c total #watches: 1249502
762.28/762.46	c total #propagations: 145811146 / total #impl: 1261829499 (eff. 0.116)
762.28/762.46	c #Conflicts:      64000 | #Learnt:       8396 | 2.548
762.28/762.46	c total clause space: 335.816MB
762.28/762.46	c total #watches: 1318931
767.78/767.97	c total #propagations: 149823576 / total #impl: 1280809577 (eff. 0.117)
767.78/767.97	c #Conflicts:      65000 | #Learnt:       9396 | 2.509
767.78/767.97	c total clause space: 335.816MB
767.78/767.97	c total #watches: 1355552
775.87/776.04	c total #propagations: 150565402 / total #impl: 1287118370 (eff. 0.117)
775.87/776.04	c #Conflicts:      66000 | #Learnt:      10394 | 2.575
775.87/776.04	c total clause space: 335.816MB
775.87/776.04	c total #watches: 1425082
780.57/780.72	c total #propagations: 151980525 / total #impl: 1295560704 (eff. 0.117)
780.57/780.72	c #Conflicts:      67000 | #Learnt:      11394 | 2.542
780.57/780.72	c total clause space: 335.816MB
780.57/780.72	c total #watches: 1537517
787.18/787.32	c total #propagations: 153181230 / total #impl: 1300820429 (eff. 0.118)
787.18/787.32	c #Conflicts:      68000 | #Learnt:      12394 | 2.586
787.18/787.32	c total clause space: 335.816MB
787.18/787.32	c total #watches: 1623240
794.37/794.58	c total #propagations: 154620996 / total #impl: 1308090938 (eff. 0.118)
794.37/794.58	c GC COLLECT
794.37/794.58	c #Conflicts:      69000 | #Learnt:       7189 | 2.603
794.37/794.58	c total clause space: 335.816MB
794.37/794.58	c total #watches: 1209651
800.78/800.98	c total #propagations: 157571319 / total #impl: 1331870765 (eff. 0.118)
800.78/800.98	c #Conflicts:      70000 | #Learnt:       8189 | 2.589
800.78/800.98	c total clause space: 335.816MB
800.78/800.98	c total #watches: 1252358
810.36/810.58	c total #propagations: 160860227 / total #impl: 1347796577 (eff. 0.119)
810.36/810.58	c #Conflicts:      71000 | #Learnt:       9188 | 2.609
810.36/810.58	c total clause space: 335.816MB
810.36/810.58	c total #watches: 1294144
816.07/816.28	c total #propagations: 163841603 / total #impl: 1362278327 (eff. 0.120)
816.07/816.28	c #Conflicts:      72000 | #Learnt:      10188 | 2.589
816.07/816.28	c total clause space: 335.816MB
816.07/816.28	c total #watches: 1389294
823.37/823.53	c total #propagations: 167344778 / total #impl: 1372989953 (eff. 0.122)
823.37/823.53	c #Conflicts:      73000 | #Learnt:      11188 | 2.556
823.37/823.53	c total clause space: 335.816MB
823.37/823.53	c total #watches: 1482349
830.77/830.93	c total #propagations: 168783447 / total #impl: 1387376056 (eff. 0.122)
830.77/830.93	c #Conflicts:      74000 | #Learnt:      12188 | 2.564
830.77/830.93	c total clause space: 335.816MB
830.77/830.93	c total #watches: 1534555
838.46/838.66	c total #propagations: 169665863 / total #impl: 1406001275 (eff. 0.121)
838.46/838.66	c GC COLLECT
838.46/838.66	c #Conflicts:      75000 | #Learnt:       6728 | 2.606
838.46/838.66	c total clause space: 335.816MB
838.46/838.66	c total #watches: 1012052
844.86/845.08	c total #propagations: 172016694 / total #impl: 1438442318 (eff. 0.120)
844.86/845.08	c #Conflicts:      76000 | #Learnt:       7727 | 2.574
844.86/845.08	c total clause space: 335.816MB
844.86/845.08	c total #watches: 1061614
851.86/852.04	c total #propagations: 173495561 / total #impl: 1461666688 (eff. 0.119)
851.86/852.04	c #Conflicts:      77000 | #Learnt:       8724 | 2.570
851.86/852.04	c total clause space: 335.816MB
851.86/852.04	c total #watches: 1198270
859.46/859.68	c total #propagations: 174431704 / total #impl: 1476304247 (eff. 0.118)
859.46/859.68	c #Conflicts:      78000 | #Learnt:       9724 | 2.549
859.46/859.68	c total clause space: 335.816MB
859.46/859.68	c total #watches: 1432431
868.86/869.02	c total #propagations: 175336144 / total #impl: 1485341616 (eff. 0.118)
868.86/869.02	c #Conflicts:      79000 | #Learnt:      10723 | 2.836
868.86/869.02	c total clause space: 335.816MB
868.86/869.02	c total #watches: 1532523
880.05/880.28	c total #propagations: 176716328 / total #impl: 1515015852 (eff. 0.117)
880.05/880.28	c #Conflicts:      80000 | #Learnt:      11723 | 2.851
880.05/880.28	c total clause space: 335.816MB
880.05/880.28	c total #watches: 1625669
892.46/892.61	c total #propagations: 180582659 / total #impl: 1530292418 (eff. 0.118)
892.46/892.61	c #Conflicts:      81000 | #Learnt:      12723 | 2.820
892.46/892.61	c total clause space: 335.816MB
892.46/892.61	c total #watches: 2220376
902.26/902.42	c total #propagations: 181328571 / total #impl: 1543786208 (eff. 0.117)
902.26/902.42	c GC COLLECT
902.26/902.42	c #Conflicts:      82000 | #Learnt:       6953 | 2.786
902.26/902.42	c total clause space: 335.816MB
902.26/902.42	c total #watches: 1762141
914.95/915.11	c total #propagations: 181491767 / total #impl: 1552981836 (eff. 0.117)
914.95/915.11	c #Conflicts:      83000 | #Learnt:       7953 | 2.752
914.95/915.11	c total clause space: 335.816MB
914.95/915.11	c total #watches: 1835925
932.05/932.27	c total #propagations: 181742574 / total #impl: 1567576054 (eff. 0.116)
932.05/932.27	c #Conflicts:      84000 | #Learnt:       8953 | 2.745
932.05/932.27	c total clause space: 335.816MB
932.05/932.27	c total #watches: 2042781
952.74/952.99	c total #propagations: 183901694 / total #impl: 1589929557 (eff. 0.116)
952.74/952.99	c #Conflicts:      85000 | #Learnt:       9953 | 2.717
952.74/952.99	c total clause space: 335.816MB
952.74/952.99	c total #watches: 2180344
974.15/974.38	c total #propagations: 184527952 / total #impl: 1630181855 (eff. 0.113)
974.15/974.38	c #Conflicts:      86000 | #Learnt:      10953 | 2.729
974.15/974.38	c total clause space: 335.816MB
974.15/974.38	c total #watches: 2353612
1000.44/1000.69	c total #propagations: 186381478 / total #impl: 1654817384 (eff. 0.113)
1000.44/1000.69	c #Conflicts:      87000 | #Learnt:      11953 | 2.914
1000.44/1000.69	c total clause space: 335.816MB
1000.44/1000.69	c total #watches: 2502655
1022.23/1022.46	c total #propagations: 188465531 / total #impl: 1673284062 (eff. 0.113)
1022.23/1022.46	c #Conflicts:      88000 | #Learnt:      12953 | 2.887
1022.23/1022.46	c total clause space: 335.816MB
1022.23/1022.46	c total #watches: 2654924
1042.13/1042.39	c total #propagations: 191940786 / total #impl: 1686860552 (eff. 0.114)
1042.13/1042.39	c #Conflicts:      89000 | #Learnt:      13953 | 2.931
1042.13/1042.39	c total clause space: 335.816MB
1042.13/1042.39	c total #watches: 2879630
1067.63/1067.80	c total #propagations: 195144211 / total #impl: 1699679537 (eff. 0.115)
1067.63/1067.80	c GC COLLECT
1067.63/1067.80	c #Conflicts:      90000 | #Learnt:       7830 | 2.908
1067.63/1067.80	c total clause space: 545.701MB
1067.63/1067.80	c total #watches: 1771143
1116.62/1116.87	c total #propagations: 198793102 / total #impl: 1718790832 (eff. 0.116)
1116.62/1116.87	c #Conflicts:      91000 | #Learnt:       8827 | 2.932
1116.62/1116.87	c total clause space: 545.701MB
1116.62/1116.87	c total #watches: 1978060
1154.31/1154.55	c total #propagations: 201942996 / total #impl: 1737421435 (eff. 0.116)
1154.31/1154.55	c #Conflicts:      92000 | #Learnt:       9827 | 2.948
1154.31/1154.55	c total clause space: 545.701MB
1154.31/1154.55	c total #watches: 2100289
1186.71/1187.00	c total #propagations: 206054459 / total #impl: 1747275969 (eff. 0.118)
1186.71/1187.00	c #Conflicts:      93000 | #Learnt:      10827 | 2.916
1186.71/1187.00	c total clause space: 545.701MB
1186.71/1187.00	c total #watches: 2195104
1228.30/1228.54	c total #propagations: 210236058 / total #impl: 1756949790 (eff. 0.120)
1228.30/1228.54	c #Conflicts:      94000 | #Learnt:      11827 | 2.885
1228.30/1228.54	c total clause space: 545.701MB
1228.30/1228.54	c total #watches: 2253361
1268.40/1268.63	c total #propagations: 214109359 / total #impl: 1767756086 (eff. 0.121)
1268.40/1268.63	c #Conflicts:      95000 | #Learnt:      12827 | 2.855
1268.40/1268.63	c total clause space: 545.701MB
1268.40/1268.63	c total #watches: 2314830
1316.79/1317.09	c total #propagations: 218137169 / total #impl: 1780893084 (eff. 0.122)
1316.79/1317.09	c #Conflicts:      96000 | #Learnt:      13827 | 2.868
1316.79/1317.09	c total clause space: 545.701MB
1316.79/1317.09	c total #watches: 2454819
1347.38/1347.67	c total #propagations: 221198581 / total #impl: 1793374025 (eff. 0.123)
1347.38/1347.67	c #Conflicts:      97000 | #Learnt:      14827 | 2.874
1347.38/1347.67	c total clause space: 545.701MB
1347.38/1347.67	c total #watches: 2628633
1364.67/1364.90	c total #propagations: 224748313 / total #impl: 1805608317 (eff. 0.124)
1364.67/1364.90	c GC COLLECT
1364.67/1364.90	c #Conflicts:      98000 | #Learnt:       8411 | 2.847
1364.67/1364.90	c total clause space: 545.701MB
1364.67/1364.90	c total #watches: 1467750
1383.17/1383.45	c total #propagations: 228727456 / total #impl: 1816267307 (eff. 0.126)
1383.17/1383.45	c #Conflicts:      99000 | #Learnt:       9411 | 2.818
1383.17/1383.45	c total clause space: 545.701MB
1383.17/1383.45	c total #watches: 1499468
1398.47/1398.78	c total #propagations: 232392713 / total #impl: 1833567138 (eff. 0.127)
1398.47/1398.78	c #Conflicts:     100000 | #Learnt:      10411 | 2.792
1398.47/1398.78	c total clause space: 545.701MB
1398.47/1398.78	c total #watches: 1523658
1416.27/1416.51	c total #propagations: 236071777 / total #impl: 1846961111 (eff. 0.128)
1416.27/1416.51	c #Conflicts:     101000 | #Learnt:      11411 | 2.764
1416.27/1416.51	c total clause space: 545.701MB
1416.27/1416.51	c total #watches: 1539568
1432.36/1432.64	c total #propagations: 239261279 / total #impl: 1858190627 (eff. 0.129)
1432.36/1432.64	c #Conflicts:     102000 | #Learnt:      12411 | 2.737
1432.36/1432.64	c total clause space: 545.701MB
1432.36/1432.64	c total #watches: 1554746
1449.16/1449.46	c total #propagations: 241725211 / total #impl: 1868959682 (eff. 0.129)
1449.16/1449.46	c #Conflicts:     103000 | #Learnt:      13411 | 2.711
1449.16/1449.46	c total clause space: 545.701MB
1449.16/1449.46	c total #watches: 1625597
1464.98/1465.28	c total #propagations: 244293271 / total #impl: 1877576332 (eff. 0.130)
1464.98/1465.28	c #Conflicts:     104000 | #Learnt:      14411 | 2.685
1464.98/1465.28	c total clause space: 545.701MB
1464.98/1465.28	c total #watches: 1732979
1482.82/1483.71	c total #propagations: 246369809 / total #impl: 1885558317 (eff. 0.131)
1482.82/1483.71	c #Conflicts:     105000 | #Learnt:      15410 | 2.660
1482.82/1483.71	c total clause space: 545.701MB
1482.82/1483.71	c total #watches: 1859746
1491.28/1491.96	c total #propagations: 249518574 / total #impl: 1892688395 (eff. 0.132)
1491.28/1491.96	c GC COLLECT
1491.28/1491.96	c #Conflicts:     106000 | #Learnt:       8702 | 2.645
1491.28/1491.96	c total clause space: 545.701MB
1491.28/1491.96	c total #watches: 1132835
1498.27/1499.71	c total #propagations: 252426505 / total #impl: 1903160573 (eff. 0.133)
1498.27/1499.71	c #Conflicts:     107000 | #Learnt:       9702 | 2.635
1498.27/1499.71	c total clause space: 545.701MB
1498.27/1499.71	c total #watches: 1281723
1506.12/1506.57	c total #propagations: 254284414 / total #impl: 1912696802 (eff. 0.133)
1506.12/1506.57	c #Conflicts:     108000 | #Learnt:      10702 | 2.627
1506.12/1506.57	c total clause space: 545.701MB
1506.12/1506.57	c total #watches: 1446160
1511.96/1513.97	c total #propagations: 257256371 / total #impl: 1921052448 (eff. 0.134)
1511.96/1513.97	c #Conflicts:     109000 | #Learnt:      11702 | 2.603
1511.96/1513.97	c total clause space: 545.701MB
1511.96/1513.97	c total #watches: 1579547
1518.81/1521.04	c total #propagations: 261418446 / total #impl: 1931331541 (eff. 0.135)
1518.81/1521.04	c #Conflicts:     110000 | #Learnt:      12702 | 2.582
1518.81/1521.04	c total clause space: 545.701MB
1518.81/1521.04	c total #watches: 1698609
1528.89/1529.90	c total #propagations: 265615398 / total #impl: 1941341722 (eff. 0.137)
1528.89/1529.90	c #Conflicts:     111000 | #Learnt:      13701 | 2.576
1528.89/1529.90	c total clause space: 545.701MB
1528.89/1529.90	c total #watches: 1816107
1538.81/1539.55	c total #propagations: 268162370 / total #impl: 1951574116 (eff. 0.137)
1538.81/1539.55	c #Conflicts:     112000 | #Learnt:      14701 | 2.624
1538.81/1539.55	c total clause space: 545.701MB
1538.81/1539.55	c total #watches: 1985898
1548.87/1549.13	c total #propagations: 270757705 / total #impl: 1960454069 (eff. 0.138)
1548.87/1549.13	c #Conflicts:     113000 | #Learnt:      15701 | 2.609
1548.87/1549.13	c total clause space: 545.701MB
1548.87/1549.13	c total #watches: 2040393
1556.86/1558.32	c total #propagations: 273334222 / total #impl: 1968614385 (eff. 0.139)
1556.86/1558.32	c GC COLLECT
1556.86/1558.32	c #Conflicts:     114000 | #Learnt:       8041 | 2.586
1556.86/1558.32	c total clause space: 545.701MB
1556.86/1558.32	c total #watches: 1704378
1569.55/1570.08	c total #propagations: 274093652 / total #impl: 1977812523 (eff. 0.139)
1569.55/1570.08	c #Conflicts:     115000 | #Learnt:       9041 | 2.580
1569.55/1570.08	c total clause space: 545.701MB
1569.55/1570.08	c total #watches: 1865580
1586.95/1588.54	c total #propagations: 276427901 / total #impl: 1990474256 (eff. 0.139)
1586.95/1588.54	c #Conflicts:     116000 | #Learnt:      10041 | 2.742
1586.95/1588.54	c total clause space: 545.701MB
1586.95/1588.54	c total #watches: 2002138
1598.88/1599.59	c total #propagations: 279070382 / total #impl: 2006879859 (eff. 0.139)
1598.88/1599.59	c #Conflicts:     117000 | #Learnt:      11041 | 2.740
1598.88/1599.59	c total clause space: 545.701MB
1598.88/1599.59	c total #watches: 2106312
1608.80/1610.87	c total #propagations: 283108974 / total #impl: 2018146006 (eff. 0.140)
1608.80/1610.87	c #Conflicts:     118000 | #Learnt:      12041 | 2.746
1608.80/1610.87	c total clause space: 545.701MB
1608.80/1610.87	c total #watches: 2164436
1620.85/1621.96	c total #propagations: 286572228 / total #impl: 2028069907 (eff. 0.141)
1620.85/1621.96	c #Conflicts:     119000 | #Learnt:      13040 | 2.760
1620.85/1621.96	c total clause space: 545.701MB
1620.85/1621.96	c total #watches: 2270180
1630.79/1632.84	c total #propagations: 290188598 / total #impl: 2037367857 (eff. 0.142)
1630.79/1632.84	c #Conflicts:     120000 | #Learnt:      14040 | 2.764
1630.79/1632.84	c total clause space: 545.701MB
1630.79/1632.84	c total #watches: 2308091
1640.79/1642.75	c total #propagations: 293451467 / total #impl: 2058272718 (eff. 0.143)
1640.79/1642.75	c #Conflicts:     121000 | #Learnt:      15040 | 2.750
1640.79/1642.75	c total clause space: 545.701MB
1640.79/1642.75	c total #watches: 2347143
1652.86/1653.60	c total #propagations: 296277651 / total #impl: 2068626280 (eff. 0.143)
1652.86/1653.60	c GC COLLECT
1652.86/1653.60	c #Conflicts:     122000 | #Learnt:       7745 | 2.752
1652.86/1653.60	c total clause space: 545.701MB
1652.86/1653.60	c total #watches: 1351974
1660.88/1662.22	c total #propagations: 298538405 / total #impl: 2080242053 (eff. 0.144)
1660.88/1662.22	c #Conflicts:     123000 | #Learnt:       8745 | 2.758
1660.88/1662.22	c total clause space: 545.701MB
1660.88/1662.22	c total #watches: 1455552
1672.84/1673.20	c total #propagations: 301243693 / total #impl: 2091222319 (eff. 0.144)
1672.84/1673.20	c #Conflicts:     124000 | #Learnt:       9745 | 2.905
1672.84/1673.20	c total clause space: 545.701MB
1672.84/1673.20	c total #watches: 1715706
1682.93/1683.38	c total #propagations: 303464532 / total #impl: 2102113451 (eff. 0.144)
1682.93/1683.38	c #Conflicts:     125000 | #Learnt:      10745 | 2.988
1682.93/1683.38	c total clause space: 545.701MB
1682.93/1683.38	c total #watches: 1771451
1692.85/1693.28	c total #propagations: 305569729 / total #impl: 2117550600 (eff. 0.144)
1692.85/1693.28	c #Conflicts:     126000 | #Learnt:      11744 | 3.011
1692.85/1693.28	c total clause space: 545.701MB
1692.85/1693.28	c total #watches: 1942682
1700.88/1702.44	c total #propagations: 307508221 / total #impl: 2125738831 (eff. 0.145)
1700.88/1702.44	c #Conflicts:     127000 | #Learnt:      12744 | 2.992
1700.88/1702.44	c total clause space: 545.701MB
1700.88/1702.44	c total #watches: 2058712
1712.93/1713.25	c total #propagations: 311419465 / total #impl: 2135001176 (eff. 0.146)
1712.93/1713.25	c #Conflicts:     128000 | #Learnt:      13744 | 2.985
1712.93/1713.25	c total clause space: 545.701MB
1712.93/1713.25	c total #watches: 2200345
1722.95/1724.30	c total #propagations: 315205400 / total #impl: 2146397354 (eff. 0.147)
1722.95/1724.30	c #Conflicts:     129000 | #Learnt:      14744 | 2.974
1722.95/1724.30	c total clause space: 545.701MB
1722.95/1724.30	c total #watches: 2316144
1734.84/1735.39	c total #propagations: 317388730 / total #impl: 2159109245 (eff. 0.147)
1734.84/1735.39	c #Conflicts:     130000 | #Learnt:      15744 | 2.951
1734.84/1735.39	c total clause space: 545.701MB
1734.84/1735.39	c total #watches: 2383077
1747.02/1747.30	c total #propagations: 320417307 / total #impl: 2171114037 (eff. 0.148)
1747.02/1747.30	c GC COLLECT
1747.02/1747.30	c #Conflicts:     131000 | #Learnt:       7687 | 2.937
1747.02/1747.30	c total clause space: 545.701MB
1747.02/1747.30	c total #watches: 1313835
1756.52/1756.87	c total #propagations: 324269849 / total #impl: 2185393887 (eff. 0.148)
1756.52/1756.87	c #Conflicts:     132000 | #Learnt:       8687 | 2.919
1756.52/1756.87	c total clause space: 545.701MB
1756.52/1756.87	c total #watches: 1368867
1765.12/1765.42	c total #propagations: 328119588 / total #impl: 2194945365 (eff. 0.149)
1765.12/1765.42	c #Conflicts:     133000 | #Learnt:       9687 | 2.899
1765.12/1765.42	c total clause space: 545.701MB
1765.12/1765.42	c total #watches: 1434325
1773.82/1774.11	c total #propagations: 329253161 / total #impl: 2203016918 (eff. 0.149)
1773.82/1774.11	c #Conflicts:     134000 | #Learnt:      10687 | 2.878
1773.82/1774.11	c total clause space: 545.701MB
1773.82/1774.11	c total #watches: 1585117
1782.12/1782.46	c total #propagations: 331334689 / total #impl: 2211970073 (eff. 0.150)
1782.12/1782.46	c #Conflicts:     135000 | #Learnt:      11687 | 2.871
1782.12/1782.46	c total clause space: 545.701MB
1782.12/1782.46	c total #watches: 1642176
1792.21/1792.52	c total #propagations: 332483206 / total #impl: 2224888707 (eff. 0.149)
1792.21/1792.52	c #Conflicts:     136000 | #Learnt:      12687 | 2.924
1792.21/1792.52	c total clause space: 545.701MB
1792.21/1792.52	c total #watches: 1693419

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-4101808-1466255161/watcher-4101808-1466255161 -o /tmp/evaluation-result-4101808-1466255161/solver-4101808-1466255161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466240371-6522 --watchdog 1960 --input HOME/instance-4101808-1466255161.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=8175
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.19 2.25 2.20 3/176 8178
/proc/meminfo: memFree=30067988/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27563264 29810688 5268 33554432000 4194304 6201397 140736569102352 140735242462040 4211048 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 7278 5268 130 491 0 6777 0

[startup+0.100191 s]
/proc/loadavg: 2.19 2.25 2.20 3/176 8178
/proc/meminfo: memFree=30067988/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=34652 CPUtime=0.09 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 697 0 0 0 9 0 0 0 20 0 1 0 27563264 35483648 7183 33554432000 4194304 6201397 140736569102352 140736569100488 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 8663 7183 146 491 0 8162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34652

[startup+0.200344 s]
/proc/loadavg: 2.19 2.25 2.20 3/176 8178
/proc/meminfo: memFree=30067988/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=35292 CPUtime=0.19 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 856 0 0 0 19 0 0 0 20 0 1 0 27563264 36139008 7853 33554432000 4194304 6201397 140736569102352 140736569100488 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 8823 7853 146 491 0 8322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35292

[startup+0.30028 s]
/proc/loadavg: 2.19 2.25 2.20 3/176 8178
/proc/meminfo: memFree=30067988/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=43636 CPUtime=0.29 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 1434 0 0 0 29 0 0 0 20 0 1 0 27563264 44683264 8388 33554432000 4194304 6201397 140736569102352 140736569100488 4216020 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 10909 8388 147 491 0 10408 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43636

[startup+0.70023 s]
/proc/loadavg: 2.19 2.25 2.20 3/176 8178
/proc/meminfo: memFree=30067988/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=44952 CPUtime=0.69 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 1860 0 0 0 69 0 0 0 20 0 1 0 27563264 46030848 9311 33554432000 4194304 6201397 140736569102352 140736569100488 5157479 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 11238 9311 147 491 0 10737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44952

[startup+1.50025 s]
/proc/loadavg: 2.19 2.25 2.20 4/177 8179
/proc/meminfo: memFree=30026476/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=52336 CPUtime=1.49 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 2112 0 0 0 148 1 0 0 20 0 1 0 27563264 53592064 10530 33554432000 4194304 6201397 140736569102352 140736569101192 4219757 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 13084 10530 147 491 0 12583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52336

[startup+3.10028 s]
/proc/loadavg: 2.19 2.25 2.20 4/177 8179
/proc/meminfo: memFree=30017108/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=66876 CPUtime=3.09 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 2885 0 0 0 308 1 0 0 20 0 1 0 27563264 68481024 13273 33554432000 4194304 6201397 140736569102352 140736569101304 4215861 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 16719 13273 147 491 0 16218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66876

[startup+6.30026 s]
/proc/loadavg: 2.26 2.26 2.20 3/177 8179
/proc/meminfo: memFree=30002464/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=87352 CPUtime=6.29 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 4225 0 0 0 627 2 0 0 20 0 1 0 27563264 89448448 16463 33554432000 4194304 6201397 140736569102352 140736569101144 4214931 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 21838 16463 160 491 0 21337 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87352

[startup+12.7003 s]
/proc/loadavg: 2.32 2.27 2.21 4/177 8179
/proc/meminfo: memFree=29990580/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=88680 CPUtime=12.69 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 4992 0 0 0 1267 2 0 0 20 0 1 0 27563264 90808320 18843 33554432000 4194304 6201397 140736569102352 140736569101144 4216049 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 22170 18843 160 491 0 21669 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88680

[startup+25.5004 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 8179
/proc/meminfo: memFree=29971676/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=122336 CPUtime=25.49 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 8926 0 0 0 2545 4 0 0 20 0 1 0 27563264 125272064 24064 33554432000 4194304 6201397 140736569102352 140736569101304 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 30584 24064 166 491 0 30083 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122336

[startup+51.1003 s]
/proc/loadavg: 2.24 2.25 2.20 3/177 8179
/proc/meminfo: memFree=29946176/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=123832 CPUtime=51.08 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 10329 0 0 0 5104 4 0 0 20 0 1 0 27563264 126803968 29318 33554432000 4194304 6201397 140736569102352 140736569100808 4240335 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 30958 29318 166 491 0 30457 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 123832

[startup+102.3 s]
/proc/loadavg: 2.33 2.27 2.21 3/177 8180
/proc/meminfo: memFree=29902980/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=178808 CPUtime=102.28 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 16616 0 0 0 10221 7 0 0 20 0 1 0 27563264 183099392 39645 33554432000 4194304 6201397 140736569102352 140736569100808 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 44702 39645 166 491 0 44201 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 178808

[startup+162.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/177 8182
/proc/meminfo: memFree=29856452/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=267640 CPUtime=162.27 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 34976 0 0 0 16213 14 0 0 20 0 1 0 27563264 274063360 50215 33554432000 4194304 6201397 140736569102352 140736569101144 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 66910 50215 166 491 0 66409 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 267640

[startup+222.307 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 8183
/proc/meminfo: memFree=29837100/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=269884 CPUtime=222.26 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 47587 0 0 0 22209 17 0 0 20 0 1 0 27563264 276361216 54361 33554432000 4194304 6201397 140736569102352 140736569100808 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 67471 54361 166 491 0 66970 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 269884

[startup+282.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/178 8187
/proc/meminfo: memFree=29789032/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=283120 CPUtime=282.25 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 62794 0 0 0 28199 26 0 0 20 0 1 0 27563264 289914880 65877 33554432000 4194304 6201397 140736569102352 140736569101144 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 70780 65877 166 491 0 70279 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 283120

[startup+342.3 s]
/proc/loadavg: 2.33 2.27 2.21 3/177 8188
/proc/meminfo: memFree=29772716/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=284088 CPUtime=342.24 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 66653 0 0 0 34195 29 0 0 20 0 1 0 27563264 290906112 68712 33554432000 4194304 6201397 140736569102352 140736569101144 4240328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 71022 68712 166 491 0 70521 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 284088

[startup+402.3 s]
/proc/loadavg: 2.25 2.26 2.21 3/177 8189
/proc/meminfo: memFree=29769736/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=287192 CPUtime=402.23 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 68395 0 0 0 40193 30 0 0 20 0 1 0 27563264 294084608 69468 33554432000 4194304 6201397 140736569102352 140736569101480 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 71798 69468 166 491 0 71297 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 287192

[startup+462.3 s]
/proc/loadavg: 2.28 2.26 2.21 4/176 8191
/proc/meminfo: memFree=29761528/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=288052 CPUtime=462.22 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 71405 0 0 0 46191 31 0 0 20 0 1 0 27563264 294965248 70716 33554432000 4194304 6201397 140736569102352 140736569101144 4213367 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 72013 70716 166 491 0 71512 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 288052

[startup+522.3 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 8193
/proc/meminfo: memFree=29746948/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=421608 CPUtime=522.21 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 72701 0 0 0 52189 32 0 0 20 0 1 0 27563264 431726592 73798 33554432000 4194304 6201397 140736569102352 140736569100808 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 105402 73798 166 491 0 104901 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 421608

[startup+582.3 s]
/proc/loadavg: 2.13 2.21 2.19 3/177 8194
/proc/meminfo: memFree=29740136/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=425660 CPUtime=582.2 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 73622 0 0 0 58188 32 0 0 20 0 1 0 27563264 435875840 74695 33554432000 4194304 6201397 140736569102352 140736569101480 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 106415 74695 166 491 0 105914 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 425660


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

[startup+882.307 s]
/proc/loadavg: 2.24 2.22 2.18 3/178 8203
/proc/meminfo: memFree=29661228/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=437468 CPUtime=882.16 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 98575 0 0 0 88167 49 0 0 20 0 1 0 27563264 447967232 92029 33554432000 4194304 6201397 140736569102352 140736569101144 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 109367 92029 166 491 0 108866 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 437468

[startup+942.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 8204
/proc/meminfo: memFree=29623328/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=448536 CPUtime=942.14 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 103217 0 0 0 94163 51 0 0 20 0 1 0 27563264 459300864 100487 33554432000 4194304 6201397 140736569102352 140736569101480 4236216 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 112134 100487 166 491 0 111633 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 448536

[startup+1002.3 s]
/proc/loadavg: 2.41 2.26 2.19 3/177 8251
/proc/meminfo: memFree=29637064/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=456988 CPUtime=1002.14 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 104966 0 0 0 100162 52 0 0 20 0 1 0 27563264 467955712 102236 33554432000 4194304 6201397 140736569102352 140736569100808 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 114247 102236 166 491 0 113746 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 456988

[startup+1062.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 8253
/proc/meminfo: memFree=29537316/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=675112 CPUtime=1062.13 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 106172 0 0 0 106160 53 0 0 20 0 1 0 27563264 691314688 114599 33554432000 4194304 6201397 140736569102352 140736569100808 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 168778 114599 166 491 0 168277 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 675112

[startup+1122.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 8254
/proc/meminfo: memFree=29530996/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=677160 CPUtime=1122.12 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 106585 0 0 0 112159 53 0 0 20 0 1 0 27563264 693411840 114970 33554432000 4194304 6201397 140736569102352 140736569101144 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 169290 114970 166 491 0 168789 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 677160

[startup+1182.3 s]
/proc/loadavg: 2.40 2.28 2.20 3/177 8255
/proc/meminfo: memFree=29525472/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=678192 CPUtime=1182.11 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 106947 0 0 0 118158 53 0 0 20 0 1 0 27563264 694468608 115198 33554432000 4194304 6201397 140736569102352 140736569100808 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 169548 115198 166 491 0 169047 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 678192

[startup+1242.3 s]
/proc/loadavg: 2.26 2.26 2.19 3/177 8256
/proc/meminfo: memFree=29493456/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=679096 CPUtime=1242.1 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 107096 0 0 0 124157 53 0 0 20 0 1 0 27563264 695394304 115347 33554432000 4194304 6201397 140736569102352 140736569100808 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 169774 115347 166 491 0 169273 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 679096

[startup+1302.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 8257
/proc/meminfo: memFree=29486764/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=680924 CPUtime=1302.09 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 107454 0 0 0 130156 53 0 0 20 0 1 0 27563264 697266176 115705 33554432000 4194304 6201397 140736569102352 140736569101064 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 170231 115705 166 491 0 169730 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 680924

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 8259
/proc/meminfo: memFree=29463624/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=682148 CPUtime=1362.08 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 107940 0 0 0 136155 53 0 0 20 0 1 0 27563264 698519552 121274 33554432000 4194304 6201397 140736569102352 140736569101480 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 170537 121274 166 491 0 170036 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 682148

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 8260
/proc/meminfo: memFree=29461876/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=682148 CPUtime=1422.07 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 107942 0 0 0 142154 53 0 0 20 0 1 0 27563264 698519552 121276 33554432000 4194304 6201397 140736569102352 140736569101480 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 170537 121276 166 491 0 170036 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 682148

[startup+1483.06 s]
/proc/loadavg: 2.16 2.22 2.18 5/178 8264
/proc/meminfo: memFree=29449140/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=683500 CPUtime=1482.82 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 108743 0 0 0 148228 54 0 0 20 0 1 0 27563264 699904000 121617 33554432000 4194304 6201397 140736569102352 140736569100808 4216049 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 170875 121617 166 491 0 170374 0
Current children cumulated CPU time (s) 1482.82
Current children cumulated vsize (KiB) 683500

[startup+1543.06 s]
/proc/loadavg: 2.15 2.21 2.18 7/177 8265
/proc/meminfo: memFree=29438416/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=685772 CPUtime=1542.81 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 109409 0 0 0 154227 54 0 0 20 0 1 0 27563264 702230528 122134 33554432000 4194304 6201397 140736569102352 140736569101480 4213039 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 171443 122134 166 491 0 170942 0
Current children cumulated CPU time (s) 1542.81
Current children cumulated vsize (KiB) 685772

[startup+1603.06 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 8266
/proc/meminfo: memFree=29436272/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=685932 CPUtime=1602.8 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 109511 0 0 0 160226 54 0 0 20 0 1 0 27563264 702394368 122224 33554432000 4194304 6201397 140736569102352 140736569101304 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 171483 122224 166 491 0 170982 0
Current children cumulated CPU time (s) 1602.8
Current children cumulated vsize (KiB) 685932

[startup+1663.06 s]
/proc/loadavg: 2.15 2.18 2.17 4/176 8267
/proc/meminfo: memFree=29420640/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=688652 CPUtime=1662.8 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 110291 0 0 0 166225 55 0 0 20 0 1 0 27563264 705179648 122842 33554432000 4194304 6201397 140736569102352 140736569101144 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 172163 122842 166 491 0 171662 0
Current children cumulated CPU time (s) 1662.8
Current children cumulated vsize (KiB) 688652

[startup+1723.06 s]
/proc/loadavg: 2.18 2.18 2.17 4/177 8269
/proc/meminfo: memFree=29419148/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=689520 CPUtime=1722.78 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 110927 0 0 0 172223 55 0 0 20 0 1 0 27563264 706068480 123037 33554432000 4194304 6201397 140736569102352 140736569100808 4240340 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 172380 123037 166 491 0 171879 0
Current children cumulated CPU time (s) 1722.78
Current children cumulated vsize (KiB) 689520

[startup+1782.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 8270
/proc/meminfo: memFree=29413000/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=691712 CPUtime=1782.02 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 112612 0 0 0 178146 56 0 0 20 0 1 0 27563264 708313088 124077 33554432000 4194304 6201397 140736569102352 140736569101144 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 172928 124077 166 491 0 172427 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 691712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/177 8270
/proc/meminfo: memFree=29412752/32872528 swapFree=17888/1798212
[pid=8178] ppid=8175 vsize=691776 CPUtime=1800.01 cores=0,2,4,6
/proc/8178/stat : 8178 (cdcl-cuttingpla) R 8175 8178 6506 0 -1 4202496 112679 0 0 0 179945 56 0 0 20 0 1 0 27563264 708378624 124091 33554432000 4194304 6201397 140736569102352 140736569100984 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/8178/statm: 172944 124091 166 491 0 172443 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 691776

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.46
CPU system time (s): 0.572912
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 691844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.572912
maximum resident set size= 496368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 2415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36434 second user time and 5.85311 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 15:06:01
IDJOB=4101808
IDBENCH=1796
IDSOLVER=2550
FILE ID=node123/4101808-1466255161
RUNJOBID= node123-1466240371-6522
PBS_JOBID= 19918188
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101808-1466255161/watcher-4101808-1466255161 -o /tmp/evaluation-result-4101808-1466255161/solver-4101808-1466255161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466240371-6522 --watchdog 1960 --input HOME/instance-4101808-1466255161.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 2ee0b4368a56ab3fadfc3737456bcd30
RANDOM SEED=1412748964

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        30068632 kB
Buffers:           37620 kB
Cached:            81484 kB
SwapCached:         1600 kB
Active:           166024 kB
Inactive:         100800 kB
Active(anon):     147036 kB
Inactive(anon):     3072 kB
Active(file):      18988 kB
Inactive(file):    97728 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:              2768 kB
Writeback:             0 kB
AnonPages:       2049696 kB
Mapped:             7664 kB
Shmem:                 0 kB
Slab:             600108 kB
SReclaimable:      44260 kB
SUnreclaim:       555848 kB
KernelStack:        1472 kB
PageTables:         7892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2089936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2023424 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= 71624 MiB
End job on node123 at 2016-06-18 15:36:02