Trace number 4088115

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/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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= 10000 #constraint= 656900
3.29/3.38	c #Conflicts:       1000 | #Learnt:       1018 | 0.000
3.29/3.38	c total clause space: 206.656MB
3.29/3.38	c total #watches: 1630474
11.89/11.94	c total #propagations: 305235 / total #impl: 7948837 (eff. 0.038)
11.89/11.94	c #Conflicts:       2000 | #Learnt:       2035 | 0.000
11.89/11.94	c total clause space: 206.656MB
11.89/11.94	c total #watches: 2265348
22.09/22.11	c total #propagations: 682732 / total #impl: 58508325 (eff. 0.012)
22.09/22.11	c #Conflicts:       3000 | #Learnt:       2031 | 0.008
22.09/22.11	c total clause space: 335.816MB
22.09/22.11	c total #watches: 2768592
45.19/45.24	c total #propagations: 880043 / total #impl: 153017733 (eff. 0.006)
45.19/45.24	c #Conflicts:       4000 | #Learnt:       3049 | 0.007
45.19/45.24	c total clause space: 335.816MB
45.19/45.24	c total #watches: 3253670
63.98/64.08	c total #propagations: 1263755 / total #impl: 215524846 (eff. 0.006)
63.98/64.08	c GC COLLECT
63.98/64.08	c #Conflicts:       5000 | #Learnt:       2393 | 0.005
63.98/64.08	c total clause space: 335.816MB
63.98/64.08	c total #watches: 3295789
80.29/80.32	c total #propagations: 1519869 / total #impl: 275999237 (eff. 0.006)
80.29/80.32	c #Conflicts:       6000 | #Learnt:       3393 | 0.005
80.29/80.32	c total clause space: 335.816MB
80.29/80.32	c total #watches: 3491546
94.18/94.21	c total #propagations: 1758350 / total #impl: 347338687 (eff. 0.005)
94.18/94.21	c GC COLLECT
94.18/94.21	c #Conflicts:       7000 | #Learnt:       2281 | 0.004
94.18/94.21	c total clause space: 335.816MB
94.18/94.21	c total #watches: 3146614
107.07/107.12	c total #propagations: 2000294 / total #impl: 408057451 (eff. 0.005)
107.07/107.12	c #Conflicts:       8000 | #Learnt:       3281 | 0.004
107.07/107.12	c total clause space: 335.816MB
107.07/107.12	c total #watches: 3388344
136.97/137.09	c total #propagations: 2225584 / total #impl: 494645705 (eff. 0.004)
136.97/137.09	c #Conflicts:       9000 | #Learnt:       4292 | 0.004
136.97/137.09	c total clause space: 335.816MB
136.97/137.09	c total #watches: 3818981
164.07/164.11	c total #propagations: 2541029 / total #impl: 545248426 (eff. 0.005)
164.07/164.11	c GC COLLECT
164.07/164.11	c #Conflicts:      10000 | #Learnt:       2803 | 0.004
164.07/164.11	c total clause space: 335.816MB
164.07/164.11	c total #watches: 3438636
189.96/190.00	c total #propagations: 2821363 / total #impl: 591599118 (eff. 0.005)
189.96/190.00	c #Conflicts:      11000 | #Learnt:       3812 | 0.006
189.96/190.00	c total clause space: 335.816MB
189.96/190.00	c total #watches: 3848041
233.35/233.41	c total #propagations: 3098059 / total #impl: 630164869 (eff. 0.005)
233.35/233.41	c #Conflicts:      12000 | #Learnt:       4825 | 0.006
233.35/233.41	c total clause space: 335.816MB
233.35/233.41	c total #watches: 4382316
268.85/268.91	c total #propagations: 3463720 / total #impl: 683025520 (eff. 0.005)
268.85/268.91	c #Conflicts:      13000 | #Learnt:       5827 | 0.006
268.85/268.91	c total clause space: 545.701MB
268.85/268.91	c total #watches: 4680181
292.24/292.34	c total #propagations: 3727822 / total #impl: 722772458 (eff. 0.005)
292.24/292.34	c GC COLLECT
292.24/292.34	c #Conflicts:      14000 | #Learnt:       3974 | 0.005
292.24/292.34	c total clause space: 545.701MB
292.24/292.34	c total #watches: 4573007
317.04/317.10	c total #propagations: 3949220 / total #impl: 777139150 (eff. 0.005)
317.04/317.10	c #Conflicts:      15000 | #Learnt:       4974 | 0.005
317.04/317.10	c total clause space: 545.701MB
317.04/317.10	c total #watches: 4873280
339.33/339.48	c total #propagations: 4168777 / total #impl: 865083354 (eff. 0.005)
339.33/339.48	c #Conflicts:      16000 | #Learnt:       5974 | 0.005
339.33/339.48	c total clause space: 545.701MB
339.33/339.48	c total #watches: 5223645
360.74/360.85	c total #propagations: 4385043 / total #impl: 954142377 (eff. 0.005)
360.74/360.85	c GC COLLECT
360.74/360.85	c #Conflicts:      17000 | #Learnt:       3815 | 0.004
360.74/360.85	c total clause space: 545.701MB
360.74/360.85	c total #watches: 4528745
379.03/379.17	c total #propagations: 4606006 / total #impl: 1040037152 (eff. 0.004)
379.03/379.17	c #Conflicts:      18000 | #Learnt:       4815 | 0.006
379.03/379.17	c total clause space: 545.701MB
379.03/379.17	c total #watches: 4821501
398.73/398.88	c total #propagations: 4807619 / total #impl: 1125617394 (eff. 0.004)
398.73/398.88	c #Conflicts:      19000 | #Learnt:       5815 | 0.006
398.73/398.88	c total clause space: 545.701MB
398.73/398.88	c total #watches: 5164840
436.52/436.64	c total #propagations: 5003589 / total #impl: 1244247812 (eff. 0.004)
436.52/436.64	c #Conflicts:      20000 | #Learnt:       6815 | 0.006
436.52/436.64	c total clause space: 545.701MB
436.52/436.64	c total #watches: 5438478
469.41/469.57	c total #propagations: 5267780 / total #impl: 1340729602 (eff. 0.004)
469.41/469.57	c GC COLLECT
469.41/469.57	c #Conflicts:      21000 | #Learnt:       4359 | 0.005
469.41/469.57	c total clause space: 545.701MB
469.41/469.57	c total #watches: 4260768
495.91/496.04	c total #propagations: 5570084 / total #impl: 1422637882 (eff. 0.004)
495.91/496.04	c #Conflicts:      22000 | #Learnt:       5359 | 0.005
495.91/496.04	c total clause space: 545.701MB
495.91/496.04	c total #watches: 4696629
530.11/530.28	c total #propagations: 5837821 / total #impl: 1561395623 (eff. 0.004)
530.11/530.28	c #Conflicts:      23000 | #Learnt:       6359 | 0.005
530.11/530.28	c total clause space: 545.701MB
530.11/530.28	c total #watches: 5099131
565.60/565.70	c total #propagations: 6143754 / total #impl: 1706890038 (eff. 0.004)
565.60/565.70	c #Conflicts:      24000 | #Learnt:       7359 | 0.005
565.60/565.70	c total clause space: 545.701MB
565.60/565.70	c total #watches: 5319124
600.60/600.73	c total #propagations: 6417459 / total #impl: 1803907326 (eff. 0.004)
600.60/600.73	c GC COLLECT
600.60/600.73	c #Conflicts:      25000 | #Learnt:       4583 | 0.005
600.60/600.73	c total clause space: 545.701MB
600.60/600.73	c total #watches: 4616661
626.69/626.83	c total #propagations: 6687788 / total #impl: 1890284769 (eff. 0.004)
626.69/626.83	c #Conflicts:      26000 | #Learnt:       5583 | 0.005
626.69/626.83	c total clause space: 545.701MB
626.69/626.83	c total #watches: 4858121
649.78/649.99	c total #propagations: 6932524 / total #impl: 1983004889 (eff. 0.003)
649.78/649.99	c #Conflicts:      27000 | #Learnt:       6583 | 0.005
649.78/649.99	c total clause space: 545.701MB
649.78/649.99	c total #watches: 5026696
691.89/692.05	c total #propagations: 7196480 / total #impl: 2107285459 (eff. 0.003)
691.89/692.05	c #Conflicts:      28000 | #Learnt:       7583 | 0.004
691.89/692.05	c total clause space: 886.764MB
691.89/692.05	c total #watches: 5309403
730.18/730.37	c total #propagations: 7536186 / total #impl: 2237524104 (eff. 0.003)
730.18/730.37	c GC COLLECT
730.18/730.37	c #Conflicts:      29000 | #Learnt:       4493 | 0.006
730.18/730.37	c total clause space: 886.764MB
730.18/730.37	c total #watches: 4356439
761.27/761.42	c total #propagations: 7797713 / total #impl: 2346913090 (eff. 0.003)
761.27/761.42	c #Conflicts:      30000 | #Learnt:       5493 | 0.006
761.27/761.42	c total clause space: 886.764MB
761.27/761.42	c total #watches: 4872023
799.77/799.91	c total #propagations: 8055515 / total #impl: 2416250587 (eff. 0.003)
799.77/799.91	c #Conflicts:      31000 | #Learnt:       6493 | 0.006
799.77/799.91	c total clause space: 886.764MB
799.77/799.91	c total #watches: 5300932
848.66/848.86	c total #propagations: 8346822 / total #impl: 2513098541 (eff. 0.003)
848.66/848.86	c #Conflicts:      32000 | #Learnt:       7493 | 0.006
848.66/848.86	c total clause space: 886.764MB
848.66/848.86	c total #watches: 5589641
897.56/897.74	c total #propagations: 8668001 / total #impl: 2586468648 (eff. 0.003)
897.56/897.74	c #Conflicts:      33000 | #Learnt:       8493 | 0.006
897.56/897.74	c total clause space: 886.764MB
897.56/897.74	c total #watches: 5817233
930.94/931.15	c total #propagations: 8910430 / total #impl: 2628427723 (eff. 0.003)
930.94/931.15	c GC COLLECT
930.94/931.15	c #Conflicts:      34000 | #Learnt:       5094 | 0.006
930.94/931.15	c total clause space: 886.764MB
930.94/931.15	c total #watches: 4908604
956.24/956.43	c total #propagations: 9135500 / total #impl: 2672657262 (eff. 0.003)
956.24/956.43	c #Conflicts:      35000 | #Learnt:       6094 | 0.006
956.24/956.43	c total clause space: 886.764MB
956.24/956.43	c total #watches: 5102550
990.24/990.44	c total #propagations: 9311768 / total #impl: 2725151326 (eff. 0.003)
990.24/990.44	c #Conflicts:      36000 | #Learnt:       7094 | 0.005
990.24/990.44	c total clause space: 886.764MB
990.24/990.44	c total #watches: 5358199
1027.73/1027.90	c total #propagations: 9520916 / total #impl: 2781219606 (eff. 0.003)
1027.73/1027.90	c #Conflicts:      37000 | #Learnt:       8094 | 0.005
1027.73/1027.90	c total clause space: 886.764MB
1027.73/1027.90	c total #watches: 5578589
1061.22/1061.48	c total #propagations: 9737544 / total #impl: 2841529798 (eff. 0.003)
1061.22/1061.48	c #Conflicts:      38000 | #Learnt:       9094 | 0.005
1061.22/1061.48	c total clause space: 886.764MB
1061.22/1061.48	c total #watches: 5877792
1086.02/1086.21	c total #propagations: 9949007 / total #impl: 2897106054 (eff. 0.003)
1086.02/1086.21	c GC COLLECT
1086.02/1086.21	c #Conflicts:      39000 | #Learnt:       5397 | 0.005
1086.02/1086.21	c total clause space: 886.764MB
1086.02/1086.21	c total #watches: 4359209
1104.52/1104.79	c total #propagations: 10157530 / total #impl: 2973237674 (eff. 0.003)
1104.52/1104.79	c #Conflicts:      40000 | #Learnt:       6397 | 0.005
1104.52/1104.79	c total clause space: 886.764MB
1104.52/1104.79	c total #watches: 4537447
1123.61/1123.80	c total #propagations: 10378709 / total #impl: 3060380142 (eff. 0.003)
1123.61/1123.80	c #Conflicts:      41000 | #Learnt:       7397 | 0.005
1123.61/1123.80	c total clause space: 886.764MB
1123.61/1123.80	c total #watches: 4675394
1144.51/1144.73	c total #propagations: 10598419 / total #impl: 3143674226 (eff. 0.003)
1144.51/1144.73	c #Conflicts:      42000 | #Learnt:       8397 | 0.005
1144.51/1144.73	c total clause space: 886.764MB
1144.51/1144.73	c total #watches: 4823417
1165.11/1165.33	c total #propagations: 10834355 / total #impl: 3200579084 (eff. 0.003)
1165.11/1165.33	c #Conflicts:      43000 | #Learnt:       9397 | 0.005
1165.11/1165.33	c total clause space: 886.764MB
1165.11/1165.33	c total #watches: 4978422
1185.11/1185.37	c total #propagations: 11062809 / total #impl: 3256322784 (eff. 0.003)
1185.11/1185.37	c GC COLLECT
1185.11/1185.37	c #Conflicts:      44000 | #Learnt:       5397 | 0.005
1185.11/1185.37	c total clause space: 886.764MB
1185.11/1185.37	c total #watches: 3906605
1202.01/1202.28	c total #propagations: 11267483 / total #impl: 3301774541 (eff. 0.003)
1202.01/1202.28	c #Conflicts:      45000 | #Learnt:       6397 | 0.005
1202.01/1202.28	c total clause space: 886.764MB
1202.01/1202.28	c total #watches: 4133575
1228.80/1229.08	c total #propagations: 11475093 / total #impl: 3357458653 (eff. 0.003)
1228.80/1229.08	c #Conflicts:      46000 | #Learnt:       7397 | 0.005
1228.80/1229.08	c total clause space: 886.764MB
1228.80/1229.08	c total #watches: 4362545
1259.70/1259.98	c total #propagations: 11708060 / total #impl: 3437115016 (eff. 0.003)
1259.70/1259.98	c #Conflicts:      47000 | #Learnt:       8397 | 0.005
1259.70/1259.98	c total clause space: 886.764MB
1259.70/1259.98	c total #watches: 4591660
1286.19/1286.43	c total #propagations: 11972762 / total #impl: 3489139219 (eff. 0.003)
1286.19/1286.43	c #Conflicts:      48000 | #Learnt:       9397 | 0.005
1286.19/1286.43	c total clause space: 886.764MB
1286.19/1286.43	c total #watches: 4845436
1337.39/1337.65	c total #propagations: 12223852 / total #impl: 3549604046 (eff. 0.003)
1337.39/1337.65	c #Conflicts:      49000 | #Learnt:      10397 | 0.004
1337.39/1337.65	c total clause space: 886.764MB
1337.39/1337.65	c total #watches: 5136865
1380.18/1380.50	c total #propagations: 12604030 / total #impl: 3617747596 (eff. 0.003)
1380.18/1380.50	c GC COLLECT
1380.18/1380.50	c #Conflicts:      50000 | #Learnt:       6101 | 0.004
1380.18/1380.50	c total clause space: 886.764MB
1380.18/1380.50	c total #watches: 4557005
1414.87/1415.18	c total #propagations: 12934438 / total #impl: 3665414030 (eff. 0.004)
1414.87/1415.18	c #Conflicts:      51000 | #Learnt:       7101 | 0.004
1414.87/1415.18	c total clause space: 886.764MB
1414.87/1415.18	c total #watches: 4816947
1451.87/1452.16	c total #propagations: 13217888 / total #impl: 3731522866 (eff. 0.004)
1451.87/1452.16	c #Conflicts:      52000 | #Learnt:       8101 | 0.007
1451.87/1452.16	c total clause space: 886.764MB
1451.87/1452.16	c total #watches: 5012608
1486.56/1486.80	c total #propagations: 13494712 / total #impl: 3775837952 (eff. 0.004)
1486.56/1486.80	c #Conflicts:      53000 | #Learnt:       9101 | 0.007
1486.56/1486.80	c total clause space: 886.764MB
1486.56/1486.80	c total #watches: 5295419
1535.36/1535.67	c total #propagations: 13686543 / total #impl: 3829369441 (eff. 0.004)
1535.36/1535.67	c #Conflicts:      54000 | #Learnt:      10101 | 0.007
1535.36/1535.67	c total clause space: 886.764MB
1535.36/1535.67	c total #watches: 5624590
1600.04/1600.30	c total #propagations: 13932287 / total #impl: 3903491214 (eff. 0.004)
1600.04/1600.30	c #Conflicts:      55000 | #Learnt:      11101 | 0.006
1600.04/1600.30	c total clause space: 886.764MB
1600.04/1600.30	c total #watches: 5939897
1638.24/1638.51	c total #propagations: 14296652 / total #impl: 3975351026 (eff. 0.004)
1638.24/1638.51	c GC COLLECT
1638.24/1638.51	c #Conflicts:      56000 | #Learnt:       6495 | 0.006
1638.24/1638.51	c total clause space: 886.764MB
1638.24/1638.51	c total #watches: 4887729
1679.13/1679.49	c total #propagations: 14604913 / total #impl: 4063652571 (eff. 0.004)
1679.13/1679.49	c #Conflicts:      57000 | #Learnt:       7495 | 0.006
1679.13/1679.49	c total clause space: 886.764MB
1679.13/1679.49	c total #watches: 5180254
1721.23/1721.60	c total #propagations: 14946789 / total #impl: 4135413472 (eff. 0.004)
1721.23/1721.60	c #Conflicts:      58000 | #Learnt:       8495 | 0.006
1721.23/1721.60	c total clause space: 886.764MB
1721.23/1721.60	c total #watches: 5482481
1756.72/1757.05	c total #propagations: 15291150 / total #impl: 4216855798 (eff. 0.004)
1756.72/1757.05	c #Conflicts:      59000 | #Learnt:       9495 | 0.006
1756.72/1757.05	c total clause space: 886.764MB
1756.72/1757.05	c total #watches: 5865620
1792.52/1792.84	c total #propagations: 15525780 / total #impl: 4281363962 (eff. 0.004)
1792.52/1792.84	c #Conflicts:      60000 | #Learnt:      10495 | 0.006
1792.52/1792.84	c total clause space: 886.764MB
1792.52/1792.84	c total #watches: 6249228

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-4088115-1465394777/watcher-4088115-1465394777 -o /tmp/evaluation-result-4088115-1465394777/solver-4088115-1465394777 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4088115-1465394777.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=26239
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.30 2.25 2.20 3/173 26245
/proc/meminfo: memFree=30006592/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 121410135 29810688 5268 33554432000 4194304 6201397 140734448360144 140733285135384 5194148 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 7278 5268 130 491 0 6777 0

[startup+0.100163 s]
/proc/loadavg: 2.30 2.25 2.20 3/173 26245
/proc/meminfo: memFree=30006592/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=34516 CPUtime=0.09 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 1399 0 0 0 9 0 0 0 20 0 1 0 121410135 35344384 7552 33554432000 4194304 6201397 140734448360144 140733285135384 4207438 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 8629 7553 142 491 0 8128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200401 s]
/proc/loadavg: 2.30 2.25 2.20 3/173 26245
/proc/meminfo: memFree=30006592/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=42444 CPUtime=0.19 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 2755 0 0 0 19 0 0 0 20 0 1 0 121410135 43462656 9403 33554432000 4194304 6201397 140734448360144 140733285135384 4235899 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 10611 9403 143 491 0 10110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42444

[startup+0.300368 s]
/proc/loadavg: 2.30 2.25 2.20 3/173 26245
/proc/meminfo: memFree=30006592/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=50936 CPUtime=0.29 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 4013 0 0 0 29 0 0 0 20 0 1 0 121410135 52158464 10709 33554432000 4194304 6201397 140734448360144 140733285135384 5106233 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 12734 10709 143 491 0 12233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50936

[startup+0.700282 s]
/proc/loadavg: 2.30 2.25 2.20 3/173 26245
/proc/meminfo: memFree=30006592/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=85260 CPUtime=0.68 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 6909 0 0 0 67 1 0 0 20 0 1 0 121410135 87306240 16257 33554432000 4194304 6201397 140734448360144 140734448358280 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 21315 16257 143 491 0 20814 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85260

[startup+1.50028 s]
/proc/loadavg: 2.30 2.25 2.20 4/177 26252
/proc/meminfo: memFree=29833292/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=123176 CPUtime=1.49 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 9870 0 0 0 146 3 0 0 20 0 1 0 121410135 126132224 27761 33554432000 4194304 6201397 140734448360144 140734448358280 5091583 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 30794 27762 143 491 0 30293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123176

[startup+3.10027 s]
/proc/loadavg: 2.27 2.24 2.20 3/177 26252
/proc/meminfo: memFree=29697892/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=185024 CPUtime=3.08 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 12458 0 0 0 304 4 0 0 20 0 1 0 121410135 189464576 44655 33554432000 4194304 6201397 140734448360144 140734448358712 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 46256 44655 147 491 0 45755 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 185024

[startup+6.30028 s]
/proc/loadavg: 2.27 2.24 2.20 4/177 26252
/proc/meminfo: memFree=29616308/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=268016 CPUtime=6.28 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 13102 0 0 0 624 4 0 0 20 0 1 0 121410135 274448384 49341 33554432000 4194304 6201397 140734448360144 140734448358424 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 67004 49341 160 491 0 66503 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268016

[startup+12.7003 s]
/proc/loadavg: 2.23 2.23 2.20 4/177 26252
/proc/meminfo: memFree=29540992/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=276692 CPUtime=12.69 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 15262 0 0 0 1264 5 0 0 20 0 1 0 121410135 283332608 58655 33554432000 4194304 6201397 140734448360144 140734448359272 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 69173 58655 160 491 0 68672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 276692

[startup+25.5004 s]
/proc/loadavg: 2.20 2.23 2.20 3/177 26252
/proc/meminfo: memFree=29428500/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=416068 CPUtime=25.48 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 17323 0 0 0 2542 6 0 0 20 0 1 0 121410135 426053632 71897 33554432000 4194304 6201397 140734448360144 140734448358424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 104017 71897 166 491 0 103516 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416068

[startup+51.1004 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 26253
/proc/meminfo: memFree=29332876/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=421316 CPUtime=51.09 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 19474 0 0 0 5101 8 0 0 20 0 1 0 121410135 431427584 84816 33554432000 4194304 6201397 140734448360144 140734448358712 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 105329 84816 166 491 0 104828 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 421316

[startup+102.3 s]
/proc/loadavg: 2.23 2.23 2.19 3/177 26254
/proc/meminfo: memFree=29268292/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=428380 CPUtime=102.28 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 21584 0 0 0 10219 9 0 0 20 0 1 0 121410135 438661120 92531 33554432000 4194304 6201397 140734448360144 140734448358856 4213394 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 107095 92531 166 491 0 106594 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 428380

[startup+162.3 s]
/proc/loadavg: 2.18 2.22 2.19 3/177 26255
/proc/meminfo: memFree=29157200/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=435240 CPUtime=162.27 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 23324 0 0 0 16217 10 0 0 20 0 1 0 121410135 445685760 106535 33554432000 4194304 6201397 140734448360144 140734448358424 4214933 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 108810 106535 166 491 0 108309 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 435240

[startup+222.308 s]
/proc/loadavg: 2.23 2.22 2.19 4/177 26256
/proc/meminfo: memFree=29121024/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=437744 CPUtime=222.26 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 23992 0 0 0 22216 10 0 0 20 0 1 0 121410135 448249856 107206 33554432000 4194304 6201397 140734448360144 140734448358712 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 109436 107206 166 491 0 108935 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 437744

[startup+282.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/178 26260
/proc/meminfo: memFree=29084416/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=659336 CPUtime=282.24 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 26221 0 0 0 28213 11 0 0 20 0 1 0 121410135 675160064 116228 33554432000 4194304 6201397 140734448360144 140734448358856 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 164834 116228 166 491 0 164333 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 659336

[startup+342.3 s]
/proc/loadavg: 2.13 2.18 2.18 4/177 26261
/proc/meminfo: memFree=29022908/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=665040 CPUtime=342.23 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 27748 0 0 0 34212 11 0 0 20 0 1 0 121410135 681000960 126441 33554432000 4194304 6201397 140734448360144 140734448358424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 166260 126441 166 491 0 165759 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 665040

[startup+402.3 s]
/proc/loadavg: 2.09 2.16 2.17 4/177 26263
/proc/meminfo: memFree=28992528/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=666092 CPUtime=402.23 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 28132 0 0 0 40211 12 0 0 20 0 1 0 121410135 682078208 132944 33554432000 4194304 6201397 140734448360144 140734448359272 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 166523 132944 166 491 0 166022 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 666092

[startup+462.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/177 26264
/proc/meminfo: memFree=28901044/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=669124 CPUtime=462.21 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 28911 0 0 0 46209 12 0 0 20 0 1 0 121410135 685182976 147009 33554432000 4194304 6201397 140734448360144 140734448358760 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 167281 147009 166 491 0 166780 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 669124

[startup+522.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 26265
/proc/meminfo: memFree=28873728/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=669332 CPUtime=522.2 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 29006 0 0 0 52208 12 0 0 20 0 1 0 121410135 685395968 147104 33554432000 4194304 6201397 140734448360144 140734448358424 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 167333 147104 166 491 0 166832 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 669332

[startup+582.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26266
/proc/meminfo: memFree=28798700/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=670696 CPUtime=582.2 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 29348 0 0 0 58207 13 0 0 20 0 1 0 121410135 686792704 159710 33554432000 4194304 6201397 140734448360144 140734448359272 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 167674 159710 166 491 0 167173 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 670696


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


[startup+942.3 s]
/proc/loadavg: 2.35 2.28 2.21 4/177 26276
/proc/meminfo: memFree=28544380/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1028964 CPUtime=942.14 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32303 0 0 0 94199 15 0 0 20 0 1 0 121410135 1053659136 190417 33554432000 4194304 6201397 140734448360144 140734448359272 4214919 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257241 190417 166 491 0 256740 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1028964

[startup+1002.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/177 26278
/proc/meminfo: memFree=28544196/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1028964 CPUtime=1002.13 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32304 0 0 0 100198 15 0 0 20 0 1 0 121410135 1053659136 190418 33554432000 4194304 6201397 140734448360144 140734448359272 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257241 190418 166 491 0 256740 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1028964

[startup+1062.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/177 26279
/proc/meminfo: memFree=28491884/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1029576 CPUtime=1062.12 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32524 0 0 0 106197 15 0 0 20 0 1 0 121410135 1054285824 190636 33554432000 4194304 6201397 140734448360144 140734448358856 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257394 190636 166 491 0 256893 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1029576

[startup+1122.3 s]
/proc/loadavg: 2.24 2.26 2.20 4/177 26280
/proc/meminfo: memFree=28491116/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1030072 CPUtime=1122.11 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32683 0 0 0 112196 15 0 0 20 0 1 0 121410135 1054793728 190781 33554432000 4194304 6201397 140734448360144 140734448359272 4213355 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257518 190781 166 491 0 257017 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1030072

[startup+1182.3 s]
/proc/loadavg: 2.16 2.23 2.19 3/177 26281
/proc/meminfo: memFree=28453236/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1030264 CPUtime=1182.11 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32791 0 0 0 118195 16 0 0 20 0 1 0 121410135 1054990336 200598 33554432000 4194304 6201397 140734448360144 140734448359272 5306609 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257566 200598 166 491 0 257065 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1030264

[startup+1242.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 26282
/proc/meminfo: memFree=28426092/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1030264 CPUtime=1242.1 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32844 0 0 0 124194 16 0 0 20 0 1 0 121410135 1054990336 200651 33554432000 4194304 6201397 140734448360144 140734448359272 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257566 200651 166 491 0 257065 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1030264

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 26284
/proc/meminfo: memFree=28385448/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1030680 CPUtime=1302.09 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32916 0 0 0 130193 16 0 0 20 0 1 0 121410135 1055416320 200723 33554432000 4194304 6201397 140734448360144 140734448358856 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257670 200723 166 491 0 257169 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1030680

[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 26285
/proc/meminfo: memFree=28362280/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1030976 CPUtime=1362.08 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 32999 0 0 0 136192 16 0 0 20 0 1 0 121410135 1055719424 206427 33554432000 4194304 6201397 140734448360144 140734448358856 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257744 206427 166 491 0 257243 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1030976

[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 26286
/proc/meminfo: memFree=28362380/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1031152 CPUtime=1422.07 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 33048 0 0 0 142191 16 0 0 20 0 1 0 121410135 1055899648 206476 33554432000 4194304 6201397 140734448360144 140734448359272 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257788 206476 166 491 0 257287 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1031152

[startup+1482.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/178 26290
/proc/meminfo: memFree=28362240/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1031152 CPUtime=1482.06 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 33082 0 0 0 148190 16 0 0 20 0 1 0 121410135 1055899648 206510 33554432000 4194304 6201397 140734448360144 140734448359272 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257788 206510 166 491 0 257287 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1031152

[startup+1542.31 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 26291
/proc/meminfo: memFree=28328708/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1031792 CPUtime=1542.06 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 33230 0 0 0 154190 16 0 0 20 0 1 0 121410135 1056555008 206658 33554432000 4194304 6201397 140734448360144 140734448358424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 257948 206658 166 491 0 257447 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1031792

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26293
/proc/meminfo: memFree=28323716/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1036616 CPUtime=1602.04 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 34420 0 0 0 160188 16 0 0 20 0 1 0 121410135 1061494784 207848 33554432000 4194304 6201397 140734448360144 140734448358424 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 259154 207848 166 491 0 258653 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1036616

[startup+1662.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 26294
/proc/meminfo: memFree=28322300/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1038072 CPUtime=1662.04 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 34784 0 0 0 166187 17 0 0 20 0 1 0 121410135 1062985728 208212 33554432000 4194304 6201397 140734448360144 140734448359272 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 259518 208212 166 491 0 259017 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1038072

[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/176 26295
/proc/meminfo: memFree=28301500/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1038072 CPUtime=1722.03 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 34794 0 0 0 172186 17 0 0 20 0 1 0 121410135 1062985728 208222 33554432000 4194304 6201397 140734448360144 140734448359272 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 259518 208222 166 491 0 259017 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1038072

[startup+1782.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 26297
/proc/meminfo: memFree=28299124/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1039032 CPUtime=1782.02 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 35013 0 0 0 178185 17 0 0 20 0 1 0 121410135 1063968768 208441 33554432000 4194304 6201397 140734448360144 140734448358424 4236227 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 259758 208441 166 491 0 259257 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1039032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26297
/proc/meminfo: memFree=28295904/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1042812 CPUtime=1800.02 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 35900 0 0 0 179985 17 0 0 20 0 1 0 121410135 1067839488 209328 33554432000 4194304 6201397 140734448360144 140734448358424 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 260703 209328 166 491 0 260202 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1042812

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

[startup+1800.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26297
/proc/meminfo: memFree=28295904/32872528 swapFree=16636/1570076
[pid=26245] ppid=26239 vsize=1042812 CPUtime=1800.02 cores=0,2,4,6
/proc/26245/stat : 26245 (cdcl-cuttingpla) R 26239 26245 25616 0 -1 4202496 35900 0 0 0 179985 17 0 0 20 0 1 0 121410135 1067839488 209328 33554432000 4194304 6201397 140734448360144 140734448358424 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26245/statm: 260703 209328 166 491 0 260202 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1042812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.85
CPU system time (s): 0.176973
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1042812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.176973
maximum resident set size= 837312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.51955 second user time and 17.3704 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 16:06:18
IDJOB=4088115
IDBENCH=1975
IDSOLVER=2550
FILE ID=node140/4088115-1465394777
RUNJOBID= node140-1465387573-25632
PBS_JOBID= 19853863
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088115-1465394777/watcher-4088115-1465394777 -o /tmp/evaluation-result-4088115-1465394777/solver-4088115-1465394777 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4088115-1465394777.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 6389567e651775a5f815611581d2023e
RANDOM SEED=1453188386

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30008724 kB
Buffers:          113408 kB
Cached:           426780 kB
SwapCached:         1664 kB
Active:           177728 kB
Inactive:         366012 kB
Active(anon):       3016 kB
Inactive(anon):     2932 kB
Active(file):     174712 kB
Inactive(file):   363080 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:             36096 kB
Writeback:            72 kB
AnonPages:       1572628 kB
Mapped:             7012 kB
Shmem:                 0 kB
Slab:             615776 kB
SReclaimable:      59392 kB
SUnreclaim:       556384 kB
KernelStack:        1392 kB
PageTables:         7192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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= 71704 MiB
End job on node140 at 2016-06-08 16:36:18