Trace number 4100367

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 binary search 2016-05-01? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
MD5SUMac375eafd62b8d1010f2c1559ff8989d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark786
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 547
Optimality of the best value was proved NO
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10632
Number of terms in the objective function 13215
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13215
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 19888
Number of bits of the biggest sum of numbers15
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.04	c * #variable= 13215 #constraint= 2587
0.00/0.08	c * #variable= 13215 #constraint= 2587
3.49/3.54	c S1->S2
3.49/3.54	c S1->S2
3.49/3.54	c S1->S2
3.49/3.54	c #Conflicts:       1000 | #Learnt:       1002 | 0.055
3.49/3.54	c total clause space: 335.816MB
3.49/3.54	c total #watches: 7050279
11.48/11.59	c total #propagations: 49908 / total #impl: 40370063 (eff. 0.001)
11.48/11.59	c #Conflicts:       2000 | #Learnt:       2002 | 0.073
11.48/11.59	c total clause space: 335.816MB
11.48/11.59	c total #watches: 9564365
17.78/17.80	c total #propagations: 194197 / total #impl: 120896886 (eff. 0.002)
17.78/17.80	c GC COLLECT
17.78/17.80	c #Conflicts:       3000 | #Learnt:       2018 | 0.049
17.78/17.80	c total clause space: 335.816MB
17.78/17.80	c total #watches: 3823384
29.39/29.48	c total #propagations: 367398 / total #impl: 240943009 (eff. 0.002)
29.39/29.48	c #Conflicts:       4000 | #Learnt:       3018 | 0.088
29.39/29.48	c total clause space: 335.816MB
29.39/29.48	c total #watches: 7985117
40.09/40.10	c total #propagations: 508994 / total #impl: 491055050 (eff. 0.001)
40.09/40.10	c GC COLLECT
40.09/40.10	c #Conflicts:       5000 | #Learnt:       2368 | 0.082
40.09/40.10	c total clause space: 335.816MB
40.09/40.10	c total #watches: 7981276
52.68/52.70	c total #propagations: 658290 / total #impl: 692727352 (eff. 0.001)
52.68/52.70	c #Conflicts:       6000 | #Learnt:       3368 | 0.070
52.68/52.70	c total clause space: 335.816MB
52.68/52.70	c total #watches: 9884749
71.49/71.52	c total #propagations: 900765 / total #impl: 1054920231 (eff. 0.001)
71.49/71.52	c GC COLLECT
71.49/71.52	c #Conflicts:       7000 | #Learnt:       2251 | 0.060
71.49/71.52	c total clause space: 545.701MB
71.49/71.52	c total #watches: 5569986
97.99/98.09	c total #propagations: 1108170 / total #impl: 1715360018 (eff. 0.001)
97.99/98.09	c #Conflicts:       8000 | #Learnt:       3251 | 0.052
97.99/98.09	c total clause space: 545.701MB
97.99/98.09	c total #watches: 6419794
120.37/120.50	c total #propagations: 1612838 / total #impl: 2632008882 (eff. 0.001)
120.37/120.50	c #Conflicts:       9000 | #Learnt:       4251 | 0.047
120.37/120.50	c total clause space: 545.701MB
120.37/120.50	c total #watches: 8362934
135.27/135.36	c total #propagations: 1834783 / total #impl: 3318420714 (eff. 0.001)
135.27/135.36	c GC COLLECT
135.27/135.36	c #Conflicts:      10000 | #Learnt:       2735 | 0.042
135.27/135.36	c total clause space: 545.701MB
135.27/135.36	c total #watches: 7992666
151.56/151.69	c total #propagations: 2021579 / total #impl: 3679639218 (eff. 0.001)
151.56/151.69	c #Conflicts:      11000 | #Learnt:       3735 | 0.038
151.56/151.69	c total clause space: 545.701MB
151.56/151.69	c total #watches: 9298901
169.86/169.96	c total #propagations: 2294066 / total #impl: 4138291786 (eff. 0.001)
169.86/169.96	c #Conflicts:      12000 | #Learnt:       4735 | 0.035
169.86/169.96	c total clause space: 545.701MB
169.86/169.96	c total #watches: 10629116
192.66/192.72	c total #propagations: 2485131 / total #impl: 4610166474 (eff. 0.001)
192.66/192.72	c #Conflicts:      13000 | #Learnt:       5735 | 0.033
192.66/192.72	c total clause space: 545.701MB
192.66/192.72	c total #watches: 12352102
215.16/215.26	c total #propagations: 2775535 / total #impl: 5175451961 (eff. 0.001)
215.16/215.26	c GC COLLECT
215.16/215.26	c #Conflicts:      14000 | #Learnt:       3875 | 0.030
215.16/215.26	c total clause space: 545.701MB
215.16/215.26	c total #watches: 8482227
237.85/237.92	c total #propagations: 3716217 / total #impl: 5635971300 (eff. 0.001)
237.85/237.92	c #Conflicts:      15000 | #Learnt:       4875 | 0.028
237.85/237.92	c total clause space: 545.701MB
237.85/237.92	c total #watches: 10103789
266.26/266.32	c total #propagations: 4041215 / total #impl: 5943489115 (eff. 0.001)
266.26/266.32	c #Conflicts:      16000 | #Learnt:       5875 | 0.027
266.26/266.32	c total clause space: 545.701MB
266.26/266.32	c total #watches: 12257546
303.05/303.13	c total #propagations: 4484134 / total #impl: 6143815947 (eff. 0.001)
303.05/303.13	c GC COLLECT
303.05/303.13	c #Conflicts:      17000 | #Learnt:       3697 | 0.025
303.05/303.13	c total clause space: 545.701MB
303.05/303.13	c total #watches: 9094568
324.24/324.34	c total #propagations: 4946103 / total #impl: 6489057375 (eff. 0.001)
324.24/324.34	c #Conflicts:      18000 | #Learnt:       4697 | 0.024
324.24/324.34	c total clause space: 545.701MB
324.24/324.34	c total #watches: 10553595
363.43/363.59	c total #propagations: 5575665 / total #impl: 6863021845 (eff. 0.001)
363.43/363.59	c #Conflicts:      19000 | #Learnt:       5697 | 0.022
363.43/363.59	c total clause space: 545.701MB
363.43/363.59	c total #watches: 12854804
393.23/393.38	c total #propagations: 5868171 / total #impl: 7351582300 (eff. 0.001)
393.23/393.38	c #Conflicts:      20000 | #Learnt:       6697 | 0.021
393.23/393.38	c total clause space: 545.701MB
393.23/393.38	c total #watches: 15763576
415.73/415.86	c total #propagations: 6110166 / total #impl: 7800857870 (eff. 0.001)
415.73/415.86	c GC COLLECT
415.73/415.86	c #Conflicts:      21000 | #Learnt:       4203 | 0.038
415.73/415.86	c total clause space: 886.764MB
415.73/415.86	c total #watches: 12144147
482.92/483.02	c total #propagations: 6492148 / total #impl: 8193935433 (eff. 0.001)
482.92/483.02	c #Conflicts:      22000 | #Learnt:       5203 | 0.043
482.92/483.02	c total clause space: 886.764MB
482.92/483.02	c total #watches: 15309682
548.31/548.49	c total #propagations: 6963004 / total #impl: 9218413995 (eff. 0.001)
548.31/548.49	c #Conflicts:      23000 | #Learnt:       6203 | 0.041
548.31/548.49	c total clause space: 886.764MB
548.31/548.49	c total #watches: 18697410
607.60/607.74	c total #propagations: 7764504 / total #impl: 9817616171 (eff. 0.001)
607.60/607.74	c #Conflicts:      24000 | #Learnt:       7203 | 0.040
607.60/607.74	c total clause space: 886.764MB
607.60/607.74	c total #watches: 20580411
653.99/654.14	c total #propagations: 8325874 / total #impl: 10675564337 (eff. 0.001)
653.99/654.14	c GC COLLECT
653.99/654.14	c #Conflicts:      25000 | #Learnt:       4411 | 0.039
653.99/654.14	c total clause space: 886.764MB
653.99/654.14	c total #watches: 14172984
693.08/693.25	c total #propagations: 8862557 / total #impl: 11210456912 (eff. 0.001)
693.08/693.25	c #Conflicts:      26000 | #Learnt:       5411 | 0.037
693.08/693.25	c total clause space: 886.764MB
693.08/693.25	c total #watches: 17031742
751.28/751.42	c total #propagations: 9053255 / total #impl: 11717610811 (eff. 0.001)
751.28/751.42	c #Conflicts:      27000 | #Learnt:       6411 | 0.036
751.28/751.42	c total clause space: 886.764MB
751.28/751.42	c total #watches: 18445200
837.36/837.53	c total #propagations: 9355172 / total #impl: 12846612345 (eff. 0.001)
837.36/837.53	c #Conflicts:      28000 | #Learnt:       7411 | 0.035
837.36/837.53	c total clause space: 886.764MB
837.36/837.53	c total #watches: 20261240
871.25/871.41	c total #propagations: 10097480 / total #impl: 14318643410 (eff. 0.001)
871.25/871.41	c GC COLLECT
871.25/871.41	c #Conflicts:      29000 | #Learnt:       4317 | 0.033
871.25/871.41	c total clause space: 886.764MB
871.25/871.41	c total #watches: 11442734
903.85/904.00	c total #propagations: 10357234 / total #impl: 14943701948 (eff. 0.001)
903.85/904.00	c #Conflicts:      30000 | #Learnt:       5317 | 0.032
903.85/904.00	c total clause space: 886.764MB
903.85/904.00	c total #watches: 13510710
963.64/963.81	c total #propagations: 10747858 / total #impl: 15619222402 (eff. 0.001)
963.64/963.81	c #Conflicts:      31000 | #Learnt:       6317 | 0.031
963.64/963.81	c total clause space: 886.764MB
963.64/963.81	c total #watches: 15511814
1028.63/1028.89	c total #propagations: 11121211 / total #impl: 16870828198 (eff. 0.001)
1028.63/1028.89	c #Conflicts:      32000 | #Learnt:       7317 | 0.030
1028.63/1028.89	c total clause space: 886.764MB
1028.63/1028.89	c total #watches: 17406196
1063.72/1063.92	c total #propagations: 11844983 / total #impl: 17881010320 (eff. 0.001)
1063.72/1063.92	c #Conflicts:      33000 | #Learnt:       8317 | 0.029
1063.72/1063.92	c total clause space: 886.764MB
1063.72/1063.92	c total #watches: 19116396
1097.62/1097.87	c total #propagations: 12467887 / total #impl: 18589722851 (eff. 0.001)
1097.62/1097.87	c GC COLLECT
1097.62/1097.87	c #Conflicts:      34000 | #Learnt:       4906 | 0.029
1097.62/1097.87	c total clause space: 886.764MB
1097.62/1097.87	c total #watches: 12767249
1136.22/1136.46	c total #propagations: 12990418 / total #impl: 19177753468 (eff. 0.001)
1136.22/1136.46	c #Conflicts:      35000 | #Learnt:       5906 | 0.028
1136.22/1136.46	c total clause space: 886.764MB
1136.22/1136.46	c total #watches: 14373067
1185.10/1185.31	c total #propagations: 13684492 / total #impl: 20072887689 (eff. 0.001)
1185.10/1185.31	c #Conflicts:      36000 | #Learnt:       6906 | 0.027
1185.10/1185.31	c total clause space: 886.764MB
1185.10/1185.31	c total #watches: 16700686
1277.79/1278.05	c total #propagations: 14236950 / total #impl: 21424935682 (eff. 0.001)
1277.79/1278.05	c #Conflicts:      37000 | #Learnt:       7906 | 0.026
1277.79/1278.05	c total clause space: 886.764MB
1277.79/1278.05	c total #watches: 18640738
1305.89/1306.11	c total #propagations: 15047597 / total #impl: 23710615682 (eff. 0.001)
1305.89/1306.11	c #Conflicts:      38000 | #Learnt:       8906 | 0.026
1305.89/1306.11	c total clause space: 886.764MB
1305.89/1306.11	c total #watches: 19585228
1345.48/1345.78	c total #propagations: 15196651 / total #impl: 24320510382 (eff. 0.001)
1345.48/1345.78	c GC COLLECT
1345.48/1345.78	c #Conflicts:      39000 | #Learnt:       5217 | 0.027
1345.48/1345.78	c total clause space: 886.764MB
1345.48/1345.78	c total #watches: 11587451
1390.18/1390.47	c total #propagations: 15451448 / total #impl: 25159845363 (eff. 0.001)
1390.18/1390.47	c #Conflicts:      40000 | #Learnt:       6217 | 0.026
1390.18/1390.47	c total clause space: 886.764MB
1390.18/1390.47	c total #watches: 12738107
1402.87/1403.19	c total #propagations: 15914035 / total #impl: 26406258213 (eff. 0.001)
1402.87/1403.19	c #Conflicts:      41000 | #Learnt:       7217 | 0.025
1402.87/1403.19	c total clause space: 886.764MB
1402.87/1403.19	c total #watches: 15000356
1419.57/1419.80	c total #propagations: 16037048 / total #impl: 26566975199 (eff. 0.001)
1419.57/1419.80	c #Conflicts:      42000 | #Learnt:       8217 | 0.025
1419.57/1419.80	c total clause space: 886.764MB
1419.57/1419.80	c total #watches: 17879021
1440.47/1440.76	c total #propagations: 16149148 / total #impl: 26808194438 (eff. 0.001)
1440.47/1440.76	c #Conflicts:      43000 | #Learnt:       9217 | 0.024
1440.47/1440.76	c total clause space: 886.764MB
1440.47/1440.76	c total #watches: 23106534
1463.56/1463.83	c total #propagations: 16264915 / total #impl: 27117649928 (eff. 0.001)
1463.56/1463.83	c GC COLLECT
1463.56/1463.83	c #Conflicts:      44000 | #Learnt:       5215 | 0.024
1463.56/1463.83	c total clause space: 886.764MB
1463.56/1463.83	c total #watches: 16555694
1480.06/1480.39	c total #propagations: 16406197 / total #impl: 27285731784 (eff. 0.001)
1480.06/1480.39	c #Conflicts:      45000 | #Learnt:       6215 | 0.023
1480.06/1480.39	c total clause space: 886.764MB
1480.06/1480.39	c total #watches: 17701608
1518.86/1519.15	c total #propagations: 16538729 / total #impl: 27445677027 (eff. 0.001)
1518.86/1519.15	c #Conflicts:      46000 | #Learnt:       7215 | 0.023
1518.86/1519.15	c total clause space: 886.764MB
1518.86/1519.15	c total #watches: 20182028
1581.24/1581.57	c total #propagations: 16832982 / total #impl: 27799265821 (eff. 0.001)
1581.24/1581.57	c #Conflicts:      47000 | #Learnt:       8215 | 0.023
1581.24/1581.57	c total clause space: 886.764MB
1581.24/1581.57	c total #watches: 21132554
1622.63/1622.93	c total #propagations: 17446658 / total #impl: 28106958041 (eff. 0.001)
1622.63/1622.93	c #Conflicts:      48000 | #Learnt:       9215 | 0.022
1622.63/1622.93	c total clause space: 886.764MB
1622.63/1622.93	c total #watches: 22099721
1678.33/1678.64	c total #propagations: 17666777 / total #impl: 28310132948 (eff. 0.001)
1678.33/1678.64	c #Conflicts:      49000 | #Learnt:      10215 | 0.022
1678.33/1678.64	c total clause space: 886.764MB
1678.33/1678.64	c total #watches: 23776133
1748.91/1749.29	c total #propagations: 17901915 / total #impl: 28526306724 (eff. 0.001)
1748.91/1749.29	c GC COLLECT
1748.91/1749.29	c #Conflicts:      50000 | #Learnt:       5908 | 0.022
1748.91/1749.29	c total clause space: 886.764MB
1748.91/1749.29	c total #watches: 11126956
1791.20/1791.50	c total #propagations: 18521301 / total #impl: 29085478705 (eff. 0.001)
1791.20/1791.50	c #Conflicts:      51000 | #Learnt:       6908 | 0.022
1791.20/1791.50	c total clause space: 886.764MB
1791.20/1791.50	c total #watches: 12793279

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-4100367-1466240180/watcher-4100367-1466240180 -o /tmp/evaluation-result-4100367-1466240180/solver-4100367-1466240180 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4100367-1466240180.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=16863
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: 1.34 1.91 2.09 3/176 16866
/proc/meminfo: memFree=30093572/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 26063721 57319424 7804 33554432000 4194304 6211289 140736325226192 140737446889576 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 13994 7804 98 493 0 13491 0

[startup+0.100167 s]
/proc/loadavg: 1.34 1.91 2.09 3/176 16866
/proc/meminfo: memFree=30093572/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=67484 CPUtime=0.09 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 1835 0 0 0 9 0 0 0 20 0 1 0 26063721 69103616 14106 33554432000 4194304 6211289 140736325226192 140737446889576 4228081 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 16871 14107 144 493 0 16368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67484

[startup+0.200311 s]
/proc/loadavg: 1.34 1.91 2.09 3/176 16866
/proc/meminfo: memFree=30093572/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=77260 CPUtime=0.18 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 3120 0 0 0 18 0 0 0 20 0 1 0 26063721 79114240 16402 33554432000 4194304 6211289 140736325226192 140737446889576 4202026 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 19315 16402 204 493 0 18812 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 77260

[startup+0.300335 s]
/proc/loadavg: 1.34 1.91 2.09 3/176 16866
/proc/meminfo: memFree=30093572/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=100552 CPUtime=0.29 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 4536 0 0 0 28 1 0 0 20 0 1 0 26063721 102965248 19852 33554432000 4194304 6211289 140736325226192 140737446889576 4247546 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 25138 19852 204 493 0 24635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100552

[startup+0.700286 s]
/proc/loadavg: 1.34 1.91 2.09 3/176 16866
/proc/meminfo: memFree=30093572/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=166968 CPUtime=0.69 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 8840 0 0 0 66 3 0 0 20 0 1 0 26063721 170975232 35391 33554432000 4194304 6211289 140736325226192 140736325224424 4243133 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 41742 35391 204 493 0 41239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 166968

[startup+1.50023 s]
/proc/loadavg: 1.34 1.91 2.09 3/177 16867
/proc/meminfo: memFree=29882716/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=235332 CPUtime=1.49 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 13503 0 0 0 145 4 0 0 20 0 1 0 26063721 240979968 54357 33554432000 4194304 6211289 140736325226192 140736325224104 4202018 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 58833 54357 204 493 0 58330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 235332

[startup+3.10028 s]
/proc/loadavg: 1.34 1.91 2.09 3/177 16867
/proc/meminfo: memFree=29865720/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=350232 CPUtime=3.09 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 22082 0 0 0 303 6 0 0 20 0 1 0 26063721 358637568 75192 33554432000 4194304 6211289 140736325226192 140736325224104 4248176 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 87558 75192 204 493 0 87055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 350232

[startup+6.30027 s]
/proc/loadavg: 1.39 1.91 2.09 3/177 16867
/proc/meminfo: memFree=29712060/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=484112 CPUtime=6.28 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 22669 0 0 0 620 8 0 0 20 0 1 0 26063721 495730688 92634 33554432000 4194304 6211289 140736325226192 140736325224184 4243125 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 121028 92634 214 493 0 120525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 484112

[startup+12.7003 s]
/proc/loadavg: 1.44 1.91 2.09 3/177 16867
/proc/meminfo: memFree=29573472/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=547060 CPUtime=12.68 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 37797 0 0 0 1257 11 0 0 20 0 1 0 26063721 560189440 124024 33554432000 4194304 6211289 140736325226192 140736325224184 4202112 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 136765 124024 214 493 0 136262 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 547060

[startup+25.5004 s]
/proc/loadavg: 1.56 1.92 2.09 4/177 16867
/proc/meminfo: memFree=29552460/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=547060 CPUtime=25.49 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 38142 0 0 0 2537 12 0 0 20 0 1 0 26063721 560189440 124306 33554432000 4194304 6211289 140736325226192 140736325224536 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 136765 124306 219 493 0 136262 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 547060

[startup+51.1003 s]
/proc/loadavg: 1.77 1.94 2.09 3/177 16867
/proc/meminfo: memFree=29505952/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=549700 CPUtime=51.08 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 40124 0 0 0 5096 12 0 0 20 0 1 0 26063721 562892800 127916 33554432000 4194304 6211289 140736325226192 140736325224104 4241789 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 137425 127916 219 493 0 136922 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 549700

[startup+102.3 s]
/proc/loadavg: 1.99 1.97 2.09 3/177 16868
/proc/meminfo: memFree=29388508/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=764624 CPUtime=102.28 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 42285 0 0 0 10215 13 0 0 20 0 1 0 26063721 782974976 142976 33554432000 4194304 6211289 140736325226192 140736325224536 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 191156 142976 219 493 0 190653 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 764624

[startup+162.3 s]
/proc/loadavg: 2.18 2.04 2.10 3/177 16869
/proc/meminfo: memFree=29320400/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=764928 CPUtime=162.26 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 42706 0 0 0 16213 13 0 0 20 0 1 0 26063721 783286272 148507 33554432000 4194304 6211289 140736325226192 140736325224536 4240063 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 191232 148507 219 493 0 190729 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 764928

[startup+222.307 s]
/proc/loadavg: 2.27 2.09 2.11 3/178 16873
/proc/meminfo: memFree=29235384/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=764928 CPUtime=222.26 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 43068 0 0 0 22212 14 0 0 20 0 1 0 26063721 783286272 155512 33554432000 4194304 6211289 140736325226192 140736325224536 4215240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 191232 155512 219 493 0 190729 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 764928

[startup+282.3 s]
/proc/loadavg: 2.34 2.13 2.12 3/178 16898
/proc/meminfo: memFree=29177076/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=764928 CPUtime=282.24 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 43115 0 0 0 28210 14 0 0 20 0 1 0 26063721 783286272 162713 33554432000 4194304 6211289 140736325226192 140736325224536 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 191232 162713 219 493 0 190729 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 764928

[startup+342.3 s]
/proc/loadavg: 2.28 2.15 2.13 4/177 16899
/proc/meminfo: memFree=29085724/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=845576 CPUtime=342.24 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 55946 0 0 0 34207 17 0 0 20 0 1 0 26063721 865869824 179121 33554432000 4194304 6211289 140736325226192 140736325224536 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 211394 179121 219 493 0 210891 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 845576

[startup+402.3 s]
/proc/loadavg: 2.31 2.18 2.14 3/177 16900
/proc/meminfo: memFree=28953644/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1202316 CPUtime=402.23 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 61713 0 0 0 40200 23 0 0 20 0 1 0 26063721 1231171584 208886 33554432000 4194304 6211289 140736325226192 140736325224424 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 300579 208886 219 493 0 300076 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1202316

[startup+462.3 s]
/proc/loadavg: 2.30 2.19 2.14 4/177 16901
/proc/meminfo: memFree=28932496/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1202508 CPUtime=462.22 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 62322 0 0 0 46199 23 0 0 20 0 1 0 26063721 1231368192 209493 33554432000 4194304 6211289 140736325226192 140736325224184 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 300627 209493 219 493 0 300124 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1202508

[startup+522.3 s]
/proc/loadavg: 2.23 2.18 2.14 3/177 16902
/proc/meminfo: memFree=28908236/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1202988 CPUtime=522.21 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 63463 0 0 0 52198 23 0 0 20 0 1 0 26063721 1231859712 210634 33554432000 4194304 6211289 140736325226192 140736325224184 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 300747 210634 219 493 0 300244 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1202988

[startup+582.3 s]
/proc/loadavg: 2.37 2.23 2.15 4/176 16903
/proc/meminfo: memFree=28794004/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1203468 CPUtime=582.2 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 65773 0 0 0 58195 25 0 0 20 0 1 0 26063721 1232351232 236450 33554432000 4194304 6211289 140736325226192 140736325224184 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 300867 236450 219 493 0 300364 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1203468


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.25 2.18 3/177 16914
/proc/meminfo: memFree=28697148/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1204876 CPUtime=942.14 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67032 0 0 0 94188 26 0 0 20 0 1 0 26063721 1233793024 253550 33554432000 4194304 6211289 140736325226192 140736325224536 4209882 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301219 253550 219 493 0 300716 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1204876

[startup+1002.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/177 16915
/proc/meminfo: memFree=28687216/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1204876 CPUtime=1002.13 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67032 0 0 0 100187 26 0 0 20 0 1 0 26063721 1233793024 253550 33554432000 4194304 6211289 140736325226192 140736325224536 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301219 253550 219 493 0 300716 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1204876

[startup+1062.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/177 16916
/proc/meminfo: memFree=28663188/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1204876 CPUtime=1062.12 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67135 0 0 0 106186 26 0 0 20 0 1 0 26063721 1233793024 253653 33554432000 4194304 6211289 140736325226192 140736325224536 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301219 253653 219 493 0 300716 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1204876

[startup+1122.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/177 16917
/proc/meminfo: memFree=28639468/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1122.11 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67151 0 0 0 112185 26 0 0 20 0 1 0 26063721 1233956864 253669 33554432000 4194304 6211289 140736325226192 140736325224536 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253669 219 493 0 300756 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1205036

[startup+1182.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 16918
/proc/meminfo: memFree=28606316/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1182.1 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67189 0 0 0 118184 26 0 0 20 0 1 0 26063721 1233956864 253707 33554432000 4194304 6211289 140736325226192 140736325224536 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253707 219 493 0 300756 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1205036

[startup+1242.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/177 16920
/proc/meminfo: memFree=28603116/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1242.1 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67189 0 0 0 124184 26 0 0 20 0 1 0 26063721 1233956864 253707 33554432000 4194304 6211289 140736325226192 140736325224536 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253707 219 493 0 300756 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1205036

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/177 16921
/proc/meminfo: memFree=28588120/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1302.09 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67189 0 0 0 130183 26 0 0 20 0 1 0 26063721 1233956864 253707 33554432000 4194304 6211289 140736325226192 140736325224536 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253707 219 493 0 300756 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1205036

[startup+1362.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 16922
/proc/meminfo: memFree=28575656/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1362.08 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67190 0 0 0 136182 26 0 0 20 0 1 0 26063721 1233956864 253708 33554432000 4194304 6211289 140736325226192 140736325224536 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253708 219 493 0 300756 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1205036

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/178 16926
/proc/meminfo: memFree=28561816/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1205036 CPUtime=1422.08 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 67246 0 0 0 142182 26 0 0 20 0 1 0 26063721 1233956864 253764 33554432000 4194304 6211289 140736325226192 140736325224536 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 301259 253764 219 493 0 300756 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1205036

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 16927
/proc/meminfo: memFree=28395748/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1251684 CPUtime=1482.06 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76131 0 0 0 148176 30 0 0 20 0 1 0 26063721 1281724416 293866 33554432000 4194304 6211289 140736325226192 140736325224536 4240875 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 312921 293866 219 493 0 312418 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1251684

[startup+1542.31 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 16929
/proc/meminfo: memFree=28369980/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1251684 CPUtime=1542.05 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76148 0 0 0 154175 30 0 0 20 0 1 0 26063721 1281724416 294954 33554432000 4194304 6211289 140736325226192 140736325224536 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 312921 294954 219 493 0 312418 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1251684

[startup+1602.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 16930
/proc/meminfo: memFree=28344580/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1251684 CPUtime=1602.04 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76149 0 0 0 160174 30 0 0 20 0 1 0 26063721 1281724416 297077 33554432000 4194304 6211289 140736325226192 140736325224536 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 312921 297077 219 493 0 312418 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1251684

[startup+1662.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/177 16931
/proc/meminfo: memFree=28297700/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1252356 CPUtime=1662.03 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76295 0 0 0 166173 30 0 0 20 0 1 0 26063721 1282412544 297222 33554432000 4194304 6211289 140736325226192 140736325224104 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 313089 297222 219 493 0 312586 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1252356

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 16932
/proc/meminfo: memFree=28266156/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1252772 CPUtime=1722.02 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76391 0 0 0 172172 30 0 0 20 0 1 0 26063721 1282838528 297311 33554432000 4194304 6211289 140736325226192 140736325224104 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 313193 297311 219 493 0 312690 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1252772

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 16933
/proc/meminfo: memFree=28262780/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1252772 CPUtime=1782 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76403 0 0 0 178170 30 0 0 20 0 1 0 26063721 1282838528 297318 33554432000 4194304 6211289 140736325226192 140736325224536 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 313193 297318 219 493 0 312690 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1252772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.41 2.26 2.20 3/176 16979
/proc/meminfo: memFree=29018240/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1252772 CPUtime=1800 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76404 0 0 0 179970 30 0 0 20 0 1 0 26063721 1282838528 297318 33554432000 4194304 6211289 140736325226192 140736325224536 4215192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 313193 297318 219 493 0 312690 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1252772

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

[startup+1800.3 s]
/proc/loadavg: 2.41 2.26 2.20 3/176 16979
/proc/meminfo: memFree=29018240/32872528 swapFree=1402776/1580604
[pid=16866] ppid=16863 vsize=1252772 CPUtime=1800 cores=0,2,4,6
/proc/16866/stat : 16866 (cdcl-cuttingpla) R 16863 16866 16728 0 -1 4202496 76404 0 0 0 179970 30 0 0 20 0 1 0 26063721 1282838528 297318 33554432000 4194304 6211289 140736325226192 140736325224536 4215192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16866/statm: 313193 297318 219 493 0 312690 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1252772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.71
CPU system time (s): 0.318951
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1252772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.318951
maximum resident set size= 1189272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76404
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= 23
involuntary context switches= 1910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57215 second user time and 7.68783 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 10:56:20
IDJOB=4100367
IDBENCH=1607
IDSOLVER=2549
FILE ID=node139/4100367-1466240180
RUNJOBID= node139-1466240178-16744
PBS_JOBID= 19918187
Free space on /tmp= 71580 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100367-1466240180/watcher-4100367-1466240180 -o /tmp/evaluation-result-4100367-1466240180/solver-4100367-1466240180 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4100367-1466240180.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ac375eafd62b8d1010f2c1559ff8989d
RANDOM SEED=726241800

node139.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.500
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.500
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:        30094596 kB
Buffers:          129856 kB
Cached:           143828 kB
SwapCached:         1900 kB
Active:           256184 kB
Inactive:         193744 kB
Active(anon):     176872 kB
Inactive(anon):     1472 kB
Active(file):      79312 kB
Inactive(file):   192272 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:             16988 kB
Writeback:             0 kB
AnonPages:       1805012 kB
Mapped:             7920 kB
Shmem:                 0 kB
Slab:             605412 kB
SReclaimable:      48896 kB
SUnreclaim:       556516 kB
KernelStack:        1472 kB
PageTables:         7460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1908452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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= 71588 MiB
End job on node139 at 2016-06-18 11:26:20