Trace number 4087253

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
MD5SUM2946edf6ae8af40eb44098433ff3dcec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark549.21
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c * #variable= 6936 #constraint= 7142
0.89/0.90	c #Conflicts:       1000 | #Learnt:        998 | 0.001
0.89/0.90	c total clause space: 11.2235MB
0.89/0.90	c total #watches: 86989
4.59/4.68	c total #propagations: 452459 / total #impl: 9296201 (eff. 0.049)
4.59/4.68	c #Conflicts:       2000 | #Learnt:       1998 | 0.011
4.59/4.68	c total clause space: 18.2382MB
4.59/4.68	c total #watches: 165291
8.09/8.18	c total #propagations: 953200 / total #impl: 60360666 (eff. 0.016)
8.09/8.18	c GARBAGE COLLECT
8.09/8.18	c #Conflicts:       3000 | #Learnt:       2037 | 0.012
8.09/8.18	c total clause space: 18.2382MB
8.09/8.18	c total #watches: 215738
16.98/17.01	c total #propagations: 1265529 / total #impl: 86187915 (eff. 0.015)
16.98/17.01	c #Conflicts:       4000 | #Learnt:       3037 | 0.009
16.98/17.01	c total clause space: 29.637MB
16.98/17.01	c total #watches: 306575
26.78/26.89	c total #propagations: 1717782 / total #impl: 131870853 (eff. 0.013)
26.78/26.89	c GARBAGE COLLECT
26.78/26.89	c #Conflicts:       5000 | #Learnt:       2415 | 0.008
26.78/26.89	c total clause space: 29.637MB
26.78/26.89	c total #watches: 277229
38.99/39.04	c total #propagations: 2073996 / total #impl: 211276715 (eff. 0.010)
38.99/39.04	c #Conflicts:       6000 | #Learnt:       3415 | 0.007
38.99/39.04	c total clause space: 48.1602MB
38.99/39.04	c total #watches: 355838
49.78/49.80	c total #propagations: 2448381 / total #impl: 281407849 (eff. 0.009)
49.78/49.80	c GARBAGE COLLECT
49.78/49.80	c #Conflicts:       7000 | #Learnt:       2306 | 0.007
49.78/49.80	c total clause space: 48.1602MB
49.78/49.80	c total #watches: 240177
56.78/56.83	c total #propagations: 2756400 / total #impl: 338801382 (eff. 0.008)
56.78/56.83	c #Conflicts:       8000 | #Learnt:       3306 | 0.006
56.78/56.83	c total clause space: 48.1602MB
56.78/56.83	c total #watches: 337897
71.38/71.43	c total #propagations: 3028077 / total #impl: 363537930 (eff. 0.008)
71.38/71.43	c #Conflicts:       9000 | #Learnt:       4306 | 0.005
71.38/71.43	c total clause space: 48.1602MB
71.38/71.43	c total #watches: 445808
90.19/90.23	c total #propagations: 3387222 / total #impl: 418175663 (eff. 0.008)
90.19/90.23	c GARBAGE COLLECT
90.19/90.23	c #Conflicts:      10000 | #Learnt:       2798 | 0.005
90.19/90.23	c total clause space: 78.2603MB
90.19/90.23	c total #watches: 317759
104.68/104.72	c total #propagations: 3761483 / total #impl: 468618070 (eff. 0.008)
104.68/104.72	c #Conflicts:      11000 | #Learnt:       3798 | 0.005
104.68/104.72	c total clause space: 78.2603MB
104.68/104.72	c total #watches: 443295
127.58/127.70	c total #propagations: 4098568 / total #impl: 526268164 (eff. 0.008)
127.58/127.70	c #Conflicts:      12000 | #Learnt:       4798 | 0.005
127.58/127.70	c total clause space: 78.2603MB
127.58/127.70	c total #watches: 554277
164.16/164.25	c total #propagations: 4441589 / total #impl: 606164395 (eff. 0.007)
164.16/164.25	c #Conflicts:      13000 | #Learnt:       5798 | 0.005
164.16/164.25	c total clause space: 78.2603MB
164.16/164.25	c total #watches: 669905
185.26/185.31	c total #propagations: 4821733 / total #impl: 693270162 (eff. 0.007)
185.26/185.31	c GARBAGE COLLECT
185.26/185.31	c #Conflicts:      14000 | #Learnt:       3941 | 0.007
185.26/185.31	c total clause space: 78.2603MB
185.26/185.31	c total #watches: 484518
209.76/209.85	c total #propagations: 5162797 / total #impl: 744842626 (eff. 0.007)
209.76/209.85	c #Conflicts:      15000 | #Learnt:       4941 | 0.006
209.76/209.85	c total clause space: 78.2603MB
209.76/209.85	c total #watches: 607142
236.65/236.78	c total #propagations: 5483242 / total #impl: 813950398 (eff. 0.007)
236.65/236.78	c #Conflicts:      16000 | #Learnt:       5941 | 0.006
236.65/236.78	c total clause space: 78.2603MB
236.65/236.78	c total #watches: 728743
269.15/269.20	c total #propagations: 5763516 / total #impl: 871543538 (eff. 0.007)
269.15/269.20	c GARBAGE COLLECT
269.15/269.20	c #Conflicts:      17000 | #Learnt:       3764 | 0.006
269.15/269.20	c total clause space: 127.173MB
269.15/269.20	c total #watches: 490351
290.46/290.54	c total #propagations: 6101523 / total #impl: 951176520 (eff. 0.006)
290.46/290.54	c #Conflicts:      18000 | #Learnt:       4764 | 0.006
290.46/290.54	c total clause space: 127.173MB
290.46/290.54	c total #watches: 610397
332.04/332.14	c total #propagations: 6363306 / total #impl: 1033581100 (eff. 0.006)
332.04/332.14	c #Conflicts:      19000 | #Learnt:       5764 | 0.005
332.04/332.14	c total clause space: 127.173MB
332.04/332.14	c total #watches: 771731
404.23/404.32	c total #propagations: 6660230 / total #impl: 1109957874 (eff. 0.006)
404.23/404.32	c #Conflicts:      20000 | #Learnt:       6764 | 0.005
404.23/404.32	c total clause space: 127.173MB
404.23/404.32	c total #watches: 920171
445.32/445.44	c total #propagations: 7040115 / total #impl: 1230055569 (eff. 0.006)
445.32/445.44	c GARBAGE COLLECT
445.32/445.44	c #Conflicts:      21000 | #Learnt:       4296 | 0.005
445.32/445.44	c total clause space: 127.173MB
445.32/445.44	c total #watches: 581964
491.92/492.01	c total #propagations: 7386922 / total #impl: 1305368638 (eff. 0.006)
491.92/492.01	c #Conflicts:      22000 | #Learnt:       5296 | 0.006
491.92/492.01	c total clause space: 127.173MB
491.92/492.01	c total #watches: 712935
546.81/546.93	c total #propagations: 7755085 / total #impl: 1365337781 (eff. 0.006)
546.81/546.93	c #Conflicts:      23000 | #Learnt:       6296 | 0.006
546.81/546.93	c total clause space: 127.173MB
546.81/546.93	c total #watches: 867172
625.49/625.60	c total #propagations: 8074646 / total #impl: 1501189501 (eff. 0.005)
625.49/625.60	c #Conflicts:      24000 | #Learnt:       7296 | 0.005
625.49/625.60	c total clause space: 127.173MB
625.49/625.60	c total #watches: 1023613
693.28/693.47	c total #propagations: 8443824 / total #impl: 1654677059 (eff. 0.005)
693.28/693.47	c GARBAGE COLLECT
693.28/693.47	c #Conflicts:      25000 | #Learnt:       4489 | 0.005
693.28/693.47	c total clause space: 127.173MB
693.28/693.47	c total #watches: 583724
733.68/733.87	c total #propagations: 8859657 / total #impl: 1759026520 (eff. 0.005)
733.68/733.87	c #Conflicts:      26000 | #Learnt:       5489 | 0.005
733.68/733.87	c total clause space: 127.173MB
733.68/733.87	c total #watches: 830419
793.57/793.73	c total #propagations: 9134042 / total #impl: 1875794853 (eff. 0.005)
793.57/793.73	c #Conflicts:      27000 | #Learnt:       6489 | 0.006
793.57/793.73	c total clause space: 127.173MB
793.57/793.73	c total #watches: 912260
867.65/867.83	c total #propagations: 9504958 / total #impl: 1955548952 (eff. 0.005)
867.65/867.83	c #Conflicts:      28000 | #Learnt:       7489 | 0.006
867.65/867.83	c total clause space: 127.173MB
867.65/867.83	c total #watches: 1051658
953.64/953.89	c total #propagations: 9857419 / total #impl: 2050596885 (eff. 0.005)
953.64/953.89	c GARBAGE COLLECT
953.64/953.89	c #Conflicts:      29000 | #Learnt:       4363 | 0.006
953.64/953.89	c total clause space: 127.173MB
953.64/953.89	c total #watches: 563696
1001.72/1001.91	c total #propagations: 10276516 / total #impl: 2161902344 (eff. 0.005)
1001.72/1001.91	c #Conflicts:      30000 | #Learnt:       5363 | 0.005
1001.72/1001.91	c total clause space: 127.173MB
1001.72/1001.91	c total #watches: 698173
1051.52/1051.79	c total #propagations: 10630246 / total #impl: 2248277700 (eff. 0.005)
1051.52/1051.79	c #Conflicts:      31000 | #Learnt:       6363 | 0.005
1051.52/1051.79	c total clause space: 127.173MB
1051.52/1051.79	c total #watches: 865939
1149.31/1149.51	c total #propagations: 10957537 / total #impl: 2344626071 (eff. 0.005)
1149.31/1149.51	c #Conflicts:      32000 | #Learnt:       7363 | 0.007
1149.31/1149.51	c total clause space: 127.173MB
1149.31/1149.51	c total #watches: 1062239
1273.99/1274.23	c total #propagations: 11360647 / total #impl: 2492858440 (eff. 0.005)
1273.99/1274.23	c #Conflicts:      33000 | #Learnt:       8363 | 0.006
1273.99/1274.23	c total clause space: 206.656MB
1273.99/1274.23	c total #watches: 1237199
1375.18/1375.41	c total #propagations: 11776550 / total #impl: 2672971953 (eff. 0.004)
1375.18/1375.41	c GARBAGE COLLECT
1375.18/1375.41	c #Conflicts:      34000 | #Learnt:       4973 | 0.006
1375.18/1375.41	c total clause space: 206.656MB
1375.18/1375.41	c total #watches: 743338
1433.17/1433.47	c total #propagations: 12153724 / total #impl: 2890888722 (eff. 0.004)
1433.17/1433.47	c #Conflicts:      35000 | #Learnt:       5973 | 0.006
1433.17/1433.47	c total clause space: 206.656MB
1433.17/1433.47	c total #watches: 921985
1519.15/1519.48	c total #propagations: 12486759 / total #impl: 2978486388 (eff. 0.004)
1519.15/1519.48	c #Conflicts:      36000 | #Learnt:       6973 | 0.006
1519.15/1519.48	c total clause space: 206.656MB
1519.15/1519.48	c total #watches: 1071251
1598.15/1598.44	c total #propagations: 12859405 / total #impl: 3129686793 (eff. 0.004)
1598.15/1598.44	c #Conflicts:      37000 | #Learnt:       7973 | 0.006
1598.15/1598.44	c total clause space: 206.656MB
1598.15/1598.44	c total #watches: 1185155
1688.62/1688.92	c total #propagations: 13159874 / total #impl: 3263796084 (eff. 0.004)
1688.62/1688.92	c #Conflicts:      38000 | #Learnt:       8973 | 0.006
1688.62/1688.92	c total clause space: 206.656MB
1688.62/1688.92	c total #watches: 1364880
1798.70/1799.09	c total #propagations: 13433318 / total #impl: 3381176901 (eff. 0.004)
1798.70/1799.09	c GARBAGE COLLECT
1798.70/1799.09	c #Conflicts:      39000 | #Learnt:       5272 | 0.006
1798.70/1799.09	c total clause space: 206.656MB
1798.70/1799.09	c total #watches: 759740

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-4087253-1465416958/watcher-4087253-1465416958 -o /tmp/evaluation-result-4087253-1465416958/solver-4087253-1465416958 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465391500-26142 --watchdog 1960 --input HOME/instance-4087253-1465416958.opb ./cdcl-cuttingplanes-release 

pid=31231
running on 4 cores: 1,3,5,7

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.11 2.18 2.17 4/176 31234
/proc/meminfo: memFree=29891456/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 123628763 29802496 5260 33554432000 4194304 6199737 140737077340016 140734784468808 4209408 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 7276 5260 122 490 0 6777 0

[startup+0.100139 s]
/proc/loadavg: 2.11 2.18 2.17 4/176 31234
/proc/meminfo: memFree=29891456/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=34136 CPUtime=0.09 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 123628763 34955264 7521 33554432000 4194304 6199737 140737077340016 140737077338488 4198663 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 8534 7521 139 490 0 8035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34136

[startup+0.200369 s]
/proc/loadavg: 2.11 2.18 2.17 4/176 31234
/proc/meminfo: memFree=29891456/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=34388 CPUtime=0.19 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 598 0 0 0 19 0 0 0 20 0 1 0 123628763 35213312 7609 33554432000 4194304 6199737 140737077340016 140737077338488 4213335 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 8597 7609 139 490 0 8098 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34388

[startup+0.30027 s]
/proc/loadavg: 2.11 2.18 2.17 4/176 31234
/proc/meminfo: memFree=29891456/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=37344 CPUtime=0.29 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 1022 0 0 0 29 0 0 0 20 0 1 0 123628763 38240256 7900 33554432000 4194304 6199737 140737077340016 140737077338488 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 9336 7900 139 490 0 8837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37344

[startup+0.700233 s]
/proc/loadavg: 2.11 2.18 2.17 4/176 31234
/proc/meminfo: memFree=29891456/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=42132 CPUtime=0.69 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 1640 0 0 0 69 0 0 0 20 0 1 0 123628763 43143168 8319 33554432000 4194304 6199737 140737077340016 140737077338488 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 10533 8319 139 490 0 10034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42132

[startup+1.50023 s]
/proc/loadavg: 2.11 2.18 2.17 4/177 31235
/proc/meminfo: memFree=29853464/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=42380 CPUtime=1.49 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 1793 0 0 0 149 0 0 0 20 0 1 0 123628763 43397120 8953 33554432000 4194304 6199737 140737077340016 140737077339128 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 10595 8953 155 490 0 10096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42380

[startup+3.10031 s]
/proc/loadavg: 2.11 2.18 2.17 4/177 31235
/proc/meminfo: memFree=29851992/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=50280 CPUtime=3.09 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 2540 0 0 0 308 1 0 0 20 0 1 0 123628763 51486720 9987 33554432000 4194304 6199737 140737077340016 140737077338952 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 12570 9987 155 490 0 12071 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50280

[startup+6.30024 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 31235
/proc/meminfo: memFree=29839472/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=51216 CPUtime=6.29 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 3487 0 0 0 628 1 0 0 20 0 1 0 123628763 52445184 11203 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 12804 11203 161 490 0 12305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51216

[startup+12.7003 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 31235
/proc/meminfo: memFree=29834764/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=63864 CPUtime=12.69 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 4239 0 0 0 1268 1 0 0 20 0 1 0 123628763 65396736 12793 33554432000 4194304 6199737 140737077340016 140737077338664 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 15966 12793 161 490 0 15467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63864

[startup+25.5004 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 31235
/proc/meminfo: memFree=29815368/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=64860 CPUtime=25.48 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 4688 0 0 0 2547 1 0 0 20 0 1 0 123628763 66416640 14669 33554432000 4194304 6199737 140737077340016 140737077338952 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 16215 14669 161 490 0 15716 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64860

[startup+51.1003 s]
/proc/loadavg: 2.17 2.18 2.17 4/177 31235
/proc/meminfo: memFree=29792664/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=85580 CPUtime=51.08 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 5994 0 0 0 5106 2 0 0 20 0 1 0 123628763 87633920 18666 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 21395 18666 161 490 0 20896 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85580

[startup+102.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 31236
/proc/meminfo: memFree=29768232/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=119136 CPUtime=102.28 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 7436 0 0 0 10225 3 0 0 20 0 1 0 123628763 121995264 22375 33554432000 4194304 6199737 140737077340016 140737077338952 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 29784 22375 161 490 0 29285 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119136

[startup+162.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 31237
/proc/meminfo: memFree=29732400/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=121192 CPUtime=162.26 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 8084 0 0 0 16223 3 0 0 20 0 1 0 123628763 124100608 28112 33554432000 4194304 6199737 140737077340016 140737077338664 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 30298 28112 161 490 0 29799 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 121192

[startup+222.307 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 31238
/proc/meminfo: memFree=29699268/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=121692 CPUtime=222.26 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 8347 0 0 0 22223 3 0 0 20 0 1 0 123628763 124612608 28330 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 30423 28330 161 490 0 29924 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 121692

[startup+282.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 31243
/proc/meminfo: memFree=29677028/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=172852 CPUtime=282.25 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 9125 0 0 0 28221 4 0 0 20 0 1 0 123628763 177000448 30351 33554432000 4194304 6199737 140737077340016 140737077339128 4213495 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 43213 30351 161 490 0 42714 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 172852

[startup+342.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/177 31244
/proc/meminfo: memFree=29641956/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=174908 CPUtime=342.24 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 9739 0 0 0 34220 4 0 0 20 0 1 0 123628763 179105792 35048 33554432000 4194304 6199737 140737077340016 140737077338664 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 43727 35048 161 490 0 43228 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 174908

[startup+402.3 s]
/proc/loadavg: 2.18 2.17 2.18 3/177 31245
/proc/meminfo: memFree=29616792/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=176832 CPUtime=402.22 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 10243 0 0 0 40218 4 0 0 20 0 1 0 123628763 181075968 39129 33554432000 4194304 6199737 140737077340016 140737077338952 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 44208 39129 161 490 0 43709 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 176832

[startup+462.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 31246
/proc/meminfo: memFree=29605900/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=177212 CPUtime=462.22 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 10406 0 0 0 46217 5 0 0 20 0 1 0 123628763 181465088 41817 33554432000 4194304 6199737 140737077340016 140737077339128 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 44303 41817 161 490 0 43804 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 177212

[startup+522.3 s]
/proc/loadavg: 2.31 2.21 2.19 3/177 31247
/proc/meminfo: memFree=29604628/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=177252 CPUtime=522.21 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 10506 0 0 0 52216 5 0 0 20 0 1 0 123628763 181506048 41912 33554432000 4194304 6199737 140737077340016 140737077338952 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 44313 41912 161 490 0 43814 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 177252

[startup+582.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/176 31248
/proc/meminfo: memFree=29602624/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=178024 CPUtime=582.2 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 10668 0 0 0 58215 5 0 0 20 0 1 0 123628763 182296576 42074 33554432000 4194304 6199737 140737077340016 140737077338664 4213489 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 44506 42074 161 490 0 44007 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 178024


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 31259
/proc/meminfo: memFree=29596824/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=181068 CPUtime=942.13 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11535 0 0 0 94208 5 0 0 20 0 1 0 123628763 185413632 42929 33554432000 4194304 6199737 140737077340016 140737077338952 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45267 42929 161 490 0 44768 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 181068

[startup+1002.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 31260
/proc/meminfo: memFree=29596296/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=181156 CPUtime=1002.12 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11569 0 0 0 100207 5 0 0 20 0 1 0 123628763 185503744 42960 33554432000 4194304 6199737 140737077340016 140737077339128 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45289 42960 161 490 0 44790 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 181156

[startup+1062.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 31261
/proc/meminfo: memFree=29595188/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=181168 CPUtime=1062.12 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11611 0 0 0 106207 5 0 0 20 0 1 0 123628763 185516032 43002 33554432000 4194304 6199737 140737077340016 140737077339128 4213499 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45292 43002 161 490 0 44793 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 181168

[startup+1122.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 31262
/proc/meminfo: memFree=29594804/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=181312 CPUtime=1122.11 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11647 0 0 0 112206 5 0 0 20 0 1 0 123628763 185663488 43038 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45328 43038 161 490 0 44829 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 181312

[startup+1182.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 31263
/proc/meminfo: memFree=29570128/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=181640 CPUtime=1182.1 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11731 0 0 0 118205 5 0 0 20 0 1 0 123628763 185999360 43122 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45410 43122 161 490 0 44911 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 181640

[startup+1242.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 31265
/proc/meminfo: memFree=29568868/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=182200 CPUtime=1242.1 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 11868 0 0 0 124204 6 0 0 20 0 1 0 123628763 186572800 43259 33554432000 4194304 6199737 140737077340016 140737077338952 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 45550 43259 161 490 0 45051 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 182200

[startup+1302.3 s]
/proc/loadavg: 2.09 2.14 2.17 3/177 31266
/proc/meminfo: memFree=29557348/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=263900 CPUtime=1302.09 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12136 0 0 0 130203 6 0 0 20 0 1 0 123628763 270233600 46054 33554432000 4194304 6199737 140737077340016 140737077338952 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 65975 46054 161 490 0 65476 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 263900

[startup+1362.3 s]
/proc/loadavg: 2.21 2.16 2.17 4/177 31267
/proc/meminfo: memFree=29552604/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=264228 CPUtime=1362.08 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12519 0 0 0 136202 6 0 0 20 0 1 0 123628763 270569472 47170 33554432000 4194304 6199737 140737077340016 140737077338664 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66057 47170 161 490 0 65558 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 264228

[startup+1422.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/177 31268
/proc/meminfo: memFree=29552584/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=264376 CPUtime=1422.08 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12548 0 0 0 142202 6 0 0 20 0 1 0 123628763 270721024 47199 33554432000 4194304 6199737 140737077340016 140737077338952 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66094 47199 161 490 0 65595 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 264376

[startup+1482.3 s]
/proc/loadavg: 2.12 2.15 2.17 3/178 31272
/proc/meminfo: memFree=29552252/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=264512 CPUtime=1482.06 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12590 0 0 0 148200 6 0 0 20 0 1 0 123628763 270860288 47241 33554432000 4194304 6199737 140737077340016 140737077338840 4213377 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66128 47241 161 490 0 65629 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 264512

[startup+1542.31 s]
/proc/loadavg: 2.15 2.15 2.17 3/177 31274
/proc/meminfo: memFree=29552732/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=264656 CPUtime=1542.06 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12634 0 0 0 154200 6 0 0 20 0 1 0 123628763 271007744 47285 33554432000 4194304 6199737 140737077340016 140737077338952 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66164 47285 161 490 0 65665 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 264656

[startup+1602.3 s]
/proc/loadavg: 2.14 2.15 2.17 4/177 31275
/proc/meminfo: memFree=29547112/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=264840 CPUtime=1602.04 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12780 0 0 0 160198 6 0 0 20 0 1 0 123628763 271196160 48450 33554432000 4194304 6199737 140737077340016 140737077339128 4213320 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66210 48450 161 490 0 65711 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 264840

[startup+1662.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/177 31276
/proc/meminfo: memFree=29525492/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=265564 CPUtime=1662.03 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 12975 0 0 0 166197 6 0 0 20 0 1 0 123628763 271937536 52733 33554432000 4194304 6199737 140737077340016 140737077338952 4213372 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66391 52733 161 490 0 65892 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 265564

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.17 3/177 31277
/proc/meminfo: memFree=29510632/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=266148 CPUtime=1722.02 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 13128 0 0 0 172196 6 0 0 20 0 1 0 123628763 272535552 55952 33554432000 4194304 6199737 140737077340016 140737077338952 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66537 55952 161 490 0 66038 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 266148

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 31278
/proc/meminfo: memFree=29501412/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=266704 CPUtime=1782.01 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 13304 0 0 0 178195 6 0 0 20 0 1 0 123628763 273104896 58147 33554432000 4194304 6199737 140737077340016 140737077338952 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66676 58147 161 490 0 66177 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 266704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/177 31324
/proc/meminfo: memFree=29657444/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=266704 CPUtime=1800 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 13316 0 0 0 179994 6 0 0 20 0 1 0 123628763 273104896 58159 33554432000 4194304 6199737 140737077340016 140737077339128 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66676 58159 161 490 0 66177 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 266704

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

[startup+1800.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/177 31324
/proc/meminfo: memFree=29657444/32872528 swapFree=14956/1314940
[pid=31234] ppid=31231 vsize=266704 CPUtime=1800 cores=1,3,5,7
/proc/31234/stat : 31234 (cdcl-cuttingpla) R 31231 31234 26125 0 -1 4202496 13316 0 0 0 179994 6 0 0 20 0 1 0 123628763 273104896 58159 33554432000 4194304 6199737 140737077340016 140737077339128 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31234/statm: 66676 58159 161 490 0 66177 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 266704

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.95
CPU system time (s): 0.069989
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 266704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.069989
maximum resident set size= 232636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13316
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= 15
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64129 second user time and 6.82596 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-08 22:15:58
IDJOB=4087253
IDBENCH=90112
IDSOLVER=2548
FILE ID=node131/4087253-1465416958
RUNJOBID= node131-1465391500-26142
PBS_JOBID= 19853803
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087253-1465416958/watcher-4087253-1465416958 -o /tmp/evaluation-result-4087253-1465416958/solver-4087253-1465416958 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465391500-26142 --watchdog 1960 --input HOME/instance-4087253-1465416958.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec
RANDOM SEED=1428592643

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
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.395
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.395
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:        29891612 kB
Buffers:          204828 kB
Cached:           629084 kB
SwapCached:         4716 kB
Active:           304556 kB
Inactive:         587332 kB
Active(anon):      54404 kB
Inactive(anon):     5604 kB
Active(file):     250152 kB
Inactive(file):   581728 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096232 kB
Dirty:              5788 kB
Writeback:             0 kB
AnonPages:       1370756 kB
Mapped:             8680 kB
Shmem:                 0 kB
Slab:             640664 kB
SReclaimable:      84260 kB
SUnreclaim:       556404 kB
KernelStack:        1480 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1496416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1341440 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= 71732 MiB
End job on node131 at 2016-06-08 22:45:58